Some remarks on well-ordered models

DOI10.4064/FM-99-2-123-132MaRDI QIDQ4177551zbMATH OpenOpenAlexFDO

Authors Henryk Kotlarski

Publication date 1978

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/215101

zbMATH Keywords

CompleteDecidabilityCompactnessElementary ExtensionSkolem UltrapowersWell-Ordered Models of First Order Theories

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Decidability of theories and sets of sentences (03B25) Categoricity and completeness of theories (03C35) Ultraproducts and related constructions (03C20) Set theory (03E99)

Cited in

(1)

• Burali-Forti as a purely logical paradox

This page was built for publication: Some remarks on well-ordered models

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