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

DOI10.1090/MEMO/0426MaRDI QIDQ3472098zbMATH OpenOpenAlexFDO

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

(27)

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