Some Theorems on the Lattice of Local Interpretability Types

DOI10.1002/MALQ.19850312902zbMATH Open0559.03034OpenAlexW2031892143MaRDI QIDQ3347872FDOQ3347872

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

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

zbMATH Keywords

multidimensional interpretabilitymutual interpretabilityorder with successorspartial dense orderingtypes of complete theories

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

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
• Title not available (Why is that?)
• 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)