A lattice of interpretability types of theories

DOI10.2307/2272134zbMath0371.02026OpenAlexW2068186238MaRDI QIDQ4146729

Jan Mycielski

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272134

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) General logic (03B99)

Related Items (4)

First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ Univalent foundations as structuralist foundations ⋮ Remarks and problems on a lattice of equational chapters

Cites Work

• Unnamed Item
• Unnamed Item
• On Malcev conditions
• Axiomatizability by a schema
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• Relative Interpretations

This page was built for publication: A lattice of interpretability types of theories