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

DOI10.1090/MEMO/0426zbMATH Open0696.03030OpenAlexW2330907934MaRDI QIDQ3472098FDOQ3472098

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

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

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)

Cited In (22)

• Interpretability degrees of finitely axiomatized sequential theories
• The small‐is‐very‐small principle
• The Interpretation Existence Lemma
• On \(\mathsf{Q}\)
• Algorithmic uses of the Feferman-Vaught theorem
• Vaught's theorem on axiomatizability by a scheme
• ON A QUESTION OF KRAJEWSKI’S
• Weak sequential theories of finite full binary trees
• Some Theorems on the Lattice of Local Interpretability Types
• A weak theory of building blocks
• Transductions in arithmetic
• Remarks and problems on a lattice of equational chapters
• Extension and interpretability
• 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
• The predicative Frege hierarchy
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• Pairs, sets and sequences in first-order theories
• MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
• The arithmetics of a theory
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable 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)