Pairs, sets and sequences in first-order theories

DOI10.1007/s00153-008-0087-1zbMath1158.03037OpenAlexW2052127763MaRDI QIDQ943342

Albert Visser

Publication date: 9 September 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-008-0087-1

zbMATH Keywords

interpretationsequential theoryweak set theory

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Relative consistency and interpretations (03F25)

Related Items (15)

Sequence encoding without induction ⋮ Strong Logics of First and Second Order ⋮ Vaught's Theorem on Axiomatizability by a Scheme ⋮ CONSISTENCY AND THE THEORY OF TRUTH ⋮ The theory of hereditarily bounded sets ⋮ On \(\mathsf{Q}\) ⋮ Recursive functions and existentially closed structures ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ The second incompleteness theorem and bounded interpretations ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Some notes on truths and comprehension ⋮ The Interpretation Existence Lemma ⋮ CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN ⋮ Weak sequential theories of finite full binary trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• The computational complexity of logical theories
• A minimal predicative set theory
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• Undecidable theories
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• Cuts, consistency statements and interpretations
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Some Prime Elements in the Lattice of Interpretability Types
• Axiomatizability by a schema
• Reduction to a dyadic predicate
• Decidability of the theory of the natural integers with the Cantor pairing function and the successor

This page was built for publication: Pairs, sets and sequences in first-order theories