Some Theorems on the Lattice of Local Interpretability Types

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

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)

Related Items (1)

An interpretation of Shenoy and Shafer's axioms for local computation

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