Reflections on reflections in explicit mathematics
From MaRDI portal
Recommendations
- Universes in explicit mathematics
- Explicit mathematics with the monotone fixed point principle. II: Models
- scientific article; zbMATH DE number 1390282
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
- On power set in explicit mathematics
Cites work
- scientific article; zbMATH DE number 3833954 (Why is no real title available?)
- scientific article; zbMATH DE number 3427335 (Why is no real title available?)
- scientific article; zbMATH DE number 3825796 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 4033739 (Why is no real title available?)
- scientific article; zbMATH DE number 4039890 (Why is no real title available?)
- scientific article; zbMATH DE number 3687373 (Why is no real title available?)
- scientific article; zbMATH DE number 3702644 (Why is no real title available?)
- scientific article; zbMATH DE number 3497881 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 3532926 (Why is no real title available?)
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 3556031 (Why is no real title available?)
- scientific article; zbMATH DE number 1390282 (Why is no real title available?)
- A well-ordering proof for Feferman's theoryT 0
- Constructivism in mathematics. An introduction. Volume II
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
- Extending Martin-Löf type theory by one Mahlo-universe
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
- Subsystems of second order arithmetic
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
- The proof-theoretic analysis of transfinitely iterated fixed point theories
- The strength of admissibility without foundation
- Universes in explicit mathematics
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
- Wellordering proofs for metapredicative Mahlo
Cited in
(14)- scientific article; zbMATH DE number 4104890 (Why is no real title available?)
- scientific article; zbMATH DE number 1087335 (Why is no real title available?)
- A flexible type system for the small Veblen ordinal
- scientific article; zbMATH DE number 5031296 (Why is no real title available?)
- Explicit mathematics and operational set theory: some ontological comparisons
- Proving Theorems from Reflection
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
- The operational penumbra: some ontological aspects
- On Feferman's operational set theory \textsf{OST}
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- Mathematical retroreflectors
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- Universes in explicit mathematics
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
This page was built for publication: Reflections on reflections in explicit mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2566068)