Searching for "Universes in explicit mathematics." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Universes in Explicit Mathematics
- …Universes in explicit mathematics Gerhard Jäger Reinhard Kahle Thomas Studer Abstract This paper…
- Cited by 7 (7 self) – Add To MetaCart
-
Reflections on reflections in explicit mathematics
- … in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof…
- Cited by 1 (0 self) – Add To MetaCart
-
Wellordering proofs for metapredicative Mahlo
- …)). Let us now introduce the concept of a universe into explicit mathematics. To put it very simply, a…
- Cited by 5 (1 self) – Add To MetaCart
-
Extending the system T 0 of explicit mathematics: the limit and Mahlo axioms
- … also turn to the notion of universe in explicit mathematics, make some remarks about natural ordering…
- Cited by 2 (1 self) – Add To MetaCart
-
Proof-Theoretic Contributions to Explicit Mathematics
- … to types. There is a strong connection between universes in explicit mathematics and regular cardinals…
- Cited by 2 (2 self) – Add To MetaCart
-
Extending the System
- … mathematics. 2.2 Universes The next step is to introduce the concept of a universe in explicit mathematics…
- Add To MetaCart
-
Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
- … the concept of a universe in explicit mathematics. To put it very simply, a universe is supposed to be a type…
- Cited by 15 (10 self) – Add To MetaCart
-
Realization of analysis into Explicit Mathematics
- …Realization of analysis into Explicit Mathematics Sergei Tupailo ∗ Institut für Informatik und…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 8.
