Some remarks on well-ordered models

DOI10.4064/FM-99-2-123-132zbMath0395.03024OpenAlexW750715520MaRDI QIDQ4177551

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

DecidabilityCompleteCompactnessElementary ExtensionSkolem UltrapowersWell-Ordered Models of First Order Theories

Mathematics Subject Classification ID

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

Related Items (1)

Burali-Forti as a purely logical paradox

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