An L ω 1 ω Complete and Consistent Theory Without Models

DOI10.2307/2041961zbMath0383.03009OpenAlexW2983482949MaRDI QIDQ4163504

Jan Mycielski, Michael Makkai

Publication date: 1977

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

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35) Other classical set theory (including functions, relations, and set algebra) (03E20) Categoricity and completeness of theories (03C35)

This page was built for publication: An L ω 1 ω Complete and Consistent Theory Without Models