Some Theorems on the Lattice of Local Interpretability Types

DOI10.1002/MALQ.19850312902MaRDI QIDQ3347872zbMATH OpenOpenAlexFDO

Authors Jan Krajíček

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10338.dmlcz/106235

zbMATH Keywords

multidimensional interpretabilitymutual interpretabilityorder with successorspartial dense orderingtypes of complete theories

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Recommendations

• Some Prime Elements in the Lattice of Interpretability Types
• A lattice of chapters of mathematics (interpretations between theorems [theories])
• On certain lattices of degrees of interpretability
• A class of connected theories of order
• The Lattice of Interpretability Types of Cantor Varieties

Cited in

(8)

• A lattice of chapters of mathematics (interpretations between theorems [theories])
• The Lattice of Interpretability Types of Cantor Varieties
• A class of connected theories of order
• scientific article; zbMATH DE number 3943893 (Why is no real title available?)
• Non-covering in the interpretability lattice of equational theories
• An interpretation of Shenoy and Shafer's axioms for local computation
• Some Prime Elements in the Lattice of Interpretability Types
• Construction of sentences with specific interpretability properties

This page was built for publication: Some Theorems on the Lattice of Local Interpretability Types

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