A new model construction by making a detour via intuitionistic theories. IV: A closer connection between KP and BI.
\(\Pi_{2}^ {1}\) conservationinterpretabilityKripke-style forcinglinearity of admissiblesrealizabilitytree representation of sets
Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Other aspects of forcing and Boolean-valued models (03E40) Relative consistency and interpretations (03F25) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
- A few more dissimilarities between second-order arithmetic and set theory
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- A new method for establishing conservativity of classical systems over their intuitionistic version
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
- A survey of proof theory
- Admissible extensions of subtheories of second order arithmetic
- Classes and truths in set theory
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
- Fixed points in Peano arithmetic with ordinals
- Forcing for hat inductive definitions in arithmetic
- Forcing under Anti‐Foundation Axiom: An expression of the stalks
- Formalizing forcing arguments in subsystems of second-order arithmetic
- From hierarchies to well-foundedness
- Full and hat inductive definitions are equivalent in NBG
- scientific article; zbMATH DE number 5838313 (Why is no real title available?)
- scientific article; zbMATH DE number 432707 (Why is no real title available?)
- scientific article; zbMATH DE number 3875271 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 4039890 (Why is no real title available?)
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 2152230 (Why is no real title available?)
- Interpreting classical theories in constructive ones
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- On the relationship between ATR0 and
- Open determinacy for class games
- Proof-theoretic investigations on Kruskal's theorem
- Proof-theoretic strengths of weak theories for positive inductive definitions
- Relative predicativity and dependent recursion in second-order set theory and higher-order theories
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points
- The strength of admissibility without foundation
- The strength of extensionality. I: Weak weak set theories with infinity
- The strength of extensionality. II: Weak weak set theories without infinity
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
This page was built for publication: A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6539428)
