The strength of extensionality. II: Weak weak set theories without infinity
From MaRDI portal
Publication:639665
DOI10.1016/j.apal.2010.11.001zbMath1223.03044OpenAlexW2089061648MaRDI QIDQ639665
Publication date: 22 September 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2010.11.001
bounded arithmeticprovably total functionsbounded reverse mathematicscomplexities below \(\mathbf P\)finite set theorygraphic conception of setssubtheories of \(\mathbf {V}^0\)weak set-theoretic axioms
Foundations of classical theories (including reverse mathematics) (03B30) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items
Admissible closures of polynomial time computable arithmetic, Classes and truths in set theory, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, Full and hat inductive definitions are equivalent in NBG
Cites Work
- Admissible closures of polynomial time computable arithmetic
- The strength of extensionality. I: Weak weak set theories with infinity
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
- Deciding bisimilarity is P-complete
- Ordinal notations and well-orderings in bounded arithmetic
- On interpretations of arithmetic and set theory
- Interpreting classical theories in constructive ones
- Kripke-Platek Set Theory and the Anti-Foundation Axiom
- A Conservation Result Concerning Bounded Theories and the Collection Axiom
- A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
- Relating First-Order Set Theories and Elementary Toposes
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- The strength of replacement in weak arithmetic
- Forcing under Anti‐Foundation Axiom: An expression of the stalks
- Notes on polynomially bounded arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item