A lattice of interpretability types of theories

DOI10.2307/2272134zbMATH Open0371.02026OpenAlexW2068186238MaRDI QIDQ4146729FDOQ4146729

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)

Cites Work

• Axiomatizability by a schema
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• Relative Interpretations
• On Malcev conditions
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4146729)