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

DOI10.1090/MEMO/0426zbMath0696.03030OpenAlexW2330907934MaRDI QIDQ3472098

Pavel Pudlák, Jan Mycielski, 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

shapefirst-order theoryinterpretationalgebraic latticelocal interpretabilityinterpretability typelattice of chapters

Mathematics Subject Classification ID

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

Related Items (18)

Vaught's Theorem on Axiomatizability by a Scheme ⋮ Extension and interpretability ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES ⋮ The small‐is‐very‐small principle ⋮ First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ Transductions in arithmetic ⋮ On \(\mathsf{Q}\) ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ ON A QUESTION OF KRAJEWSKI’S ⋮ A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. ⋮ Pairs, sets and sequences in first-order theories ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ The predicative Frege hierarchy ⋮ The Interpretation Existence Lemma ⋮ The arithmetics of a theory ⋮ Weak sequential theories of finite full binary trees

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