Extension and interpretability

DOI10.1007/978-3-030-53654-1_3zbMath1490.03019OpenAlexW2405333940MaRDI QIDQ2658276

Albert Visser

Publication date: 19 March 2021

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

zbMATH Keywords

arithmeticsequentialitydegrees of interpretabilityLindenbaum algebrastheory extension

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Basic properties of first-order languages and structures (03C07)

Related Items (1)

Friedman-reflexivity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Faith \& falsity
• Harvey Friedman's research on the foundations of mathematics
• Interpretability degrees of finitely axiomatized sequential theories
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• On Partially Conservative Sentences and Interpretability
• A note on proofs of falsehood
• Sequential theories and infinite distributivity in the lattice of chapters
• The Boolean algebra of logic
• The small‐is‐very‐small principle
• Some Prime Elements in the Lattice of Interpretability Types
• The Interpretation Existence Lemma

This page was built for publication: Extension and interpretability