CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN

DOI10.1017/S1755020309090261zbMath1185.03088WikidataQ126372171 ScholiaQ126372171MaRDI QIDQ3644806

Albert Visser

Publication date: 12 November 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

weak set theoriesinterpretations of theoriesrelative strength of theoriesweak arithmetic theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Ordinal and cardinal numbers (03E10) Relative consistency and interpretations (03F25)

Related Items

Finitely axiomatized theories lack self‐comprehension, The small‐is‐very‐small principle, Transductions in arithmetic, Interpretability degrees of finitely axiomatized sequential theories, HUME’S PRINCIPLE, BEGINNINGS, MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY, Some notes on truths and comprehension, The Interpretation Existence Lemma, The arithmetics of a theory

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