Interpretability degrees of finitely axiomatized sequential theories

DOI10.1007/S00153-013-0353-8zbMath1301.03061OpenAlexW2104425666MaRDI QIDQ2436609

Albert Visser

Publication date: 25 February 2014

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

Full work available at URL: https://dspace.library.uu.nl/handle/1874/256594

zbMATH Keywords

interpretabilitydegreessequential theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (4)

Extension and interpretability ⋮ The small‐is‐very‐small principle ⋮ On \(\mathsf{Q}\) ⋮ The Interpretation Existence Lemma

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• Pairs, sets and sequences in first-order theories
• On the scheme of induction for bounded arithmetic formulas
• The role of quantifier alternations in cut elimination
• Effectively inseparable Boolean algebras in lattices of sentences
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Cuts, consistency statements and interpretations
• A note on proofs of falsehood
• Sequential theories and infinite distributivity in the lattice of chapters
• 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
• Computer Science Logic
• THE ∀∃ THEORY OF PEANO Σ₁ SENTENCES
• Cut Elimination In Situ

This page was built for publication: Interpretability degrees of finitely axiomatized sequential theories