CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
From MaRDI portal
Publication:3644806
DOI10.1017/S1755020309090261zbMath1185.03088WikidataQ126372171 ScholiaQ126372171MaRDI QIDQ3644806
Publication date: 12 November 2009
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
weak set theories; interpretations of theories; relative strength of theories; weak arithmetic theories
03F30: First-order arithmetic and fragments
03E30: Axiomatics of classical set theory and its fragments
03E10: Ordinal and cardinal numbers
03F25: Relative consistency and interpretations
Related Items
MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY, The small‐is‐very‐small principle, The Interpretation Existence Lemma, Some notes on truths and comprehension, Transductions in arithmetic, The arithmetics of a theory, Interpretability degrees of finitely axiomatized sequential theories, HUME’S PRINCIPLE, BEGINNINGS
Cites Work
- Pairs, sets and sequences in first-order theories
- A minimal predicative set theory
- On the interpretability of arithmetic in set theory
- Weak Second‐Order Arithmetic and Finite Automata
- Decision Problems of Finite Automata Design and Related Arithmetics
- Variants of Robinson's essentially undecidable theoryR
- Some Prime Elements in the Lattice of Interpretability Types
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- Axiomatizability by a schema
- Decidability of the theory of the natural integers with the Cantor pairing function and the successor