scientific article
From MaRDI portal
Publication:3910512
zbMath0461.03003MaRDI QIDQ3910512
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
prime modelsaxiomatizabilitydefinability of ordinalsfirst-order consequencesfirst-order theory of well-ordered sets
Partial orders, general (06A06) Decidability of theories and sets of sentences (03B25) Inner models, including constructibility, ordinal definability, and core models (03E45) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (14)
On elementary theories of ordinal notation systems based on reflection principles ⋮ Recursive categoricity and recursive stability ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Some structural similarities between uncountable sets, powersets and the universe ⋮ Polyadic spaces and profinite monoids ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ Elimination of unbounded quantifiers for some poly-regular groups of infinite rank ⋮ On quantifier-rank equivalence between linear orders ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Unifying threads in Alfred Tarski's work ⋮ Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) ⋮ Stationary logic of ordinals ⋮ A portrait of Alfred Tarski
This page was built for publication:
