Robinson's Consistency Theorem in Soft Model Theory

DOI10.2307/1998653zbMath0519.03031OpenAlexW4242880011MaRDI QIDQ3669393

Daniele Mundici

Publication date: 1981

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

countably compactCraig's interpolation theoremsimilarity typeconsistent extensionsRobinson's consistency theorem

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Categoricity and completeness of theories (03C35) Abstract model theory (03C95)

Related Items

An institution-independent proof of the Robinson consistency theorem ⋮ Duality Between Logics and Equivalence Relations ⋮ A lower bound for the complexity of Craig's interpolants in sentential logic ⋮ Natural limitations of decision procedures for arithmetic with bounded quantifiers ⋮ Generalised graded interpolation