A lattice of chapters of mathematics (interpretations between theorems [theories])

DOI10.1090/MEMO/0426MaRDI QIDQ3472098zbMATHOpenAlexFDO

Authors Jan Mycielski, Pavel Pudlák, Alan S. Stern

Publication date 1990

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/memo/0426

zbMATH Keywords

shapeinterpretationfirst-order theoryalgebraic latticelocal interpretabilityinterpretability typelattice of chapters

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Relative consistency and interpretations (03F25)

Recommendations

• Remarks and problems on a lattice of equational chapters
• Sequential theories and infinite distributivity in the lattice of chapters
• Some Theorems on the Lattice of Local Interpretability Types
• On certain lattices of degrees of interpretability
• A class of connected theories of order

Cited in

(22)

• A weak theory of building blocks
• Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
• On a question of Krajewski's
• Weak sequential theories of finite full binary trees
• On \(\mathsf{Q}\)
• Extension and interpretability
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• The interpretation existence lemma
• The small-is-very-small principle
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Pairs, sets and sequences in first-order theories
• A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
• Some Theorems on the Lattice of Local Interpretability Types
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
• Algorithmic uses of the Feferman-Vaught theorem
• Transductions in arithmetic
• Interpretability degrees of finitely axiomatized sequential theories
• The arithmetics of a theory
• Vaught's theorem on axiomatizability by a scheme
• The predicative Frege hierarchy
• Remarks and problems on a lattice of equational chapters
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES

This page was built for publication: A lattice of chapters of mathematics (interpretations between theorems [theories])

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3472098)