scientific article; zbMATH DE number 2204757
From MaRDI portal
Publication:5316376
Recommendations
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- Proof theory of constructive systems: inductive types and univalence
- scientific article; zbMATH DE number 5862936
Cited in
(14)- Truth and the philosophy of mathematics
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- A flexible type system for the small Veblen ordinal
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
- Relative predicativity and dependent recursion in second-order set theory and higher-order theories
- Error and predicativity
- Wellordering proofs for metapredicative Mahlo
- scientific article; zbMATH DE number 1754648 (Why is no real title available?)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- scientific article; zbMATH DE number 1390282 (Why is no real title available?)
- On the Performance of Axiom Systems
- Predicativity and Feferman
- Operational set theory and small large cardinals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316376)
