A lattice of chapters of mathematics (interpretations between theorems [theories])
From MaRDI portal
Publication:3472098
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
shapefirst-order theoryinterpretationalgebraic latticelocal interpretabilityinterpretability typelattice of chapters
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])
