Homogeneous Universal Models.

DOI10.7146/math.scand.a-10648zbMath0112.00603OpenAlexW1951287835MaRDI QIDQ3848966

R. Vaught

Publication date: 1962

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

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

zbMATH Keywords

mathematical logic

Related Items (96)

Bjarni Jónsson's contributions in algebra ⋮ Minimal- und Primmodelle ⋮ IN MEMORIAM: MICHAEL MORLEY, 1930–2020 ⋮ Complete Universal Locally Finite Groups ⋮ Generic Embeddings ⋮ A Note on Saturated Models for Many-Valued Logics ⋮ An alternative construction of Conway's ordered field No ⋮ Errata to ``An alternative construction of Conway's ordered field No. ⋮ Positive Jonsson theories ⋮ A Note on the Two Cardinal Problem ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Unnamed Item ⋮ Categoricity in Power ⋮ Bjarni Jónsson's contributions in algebra: an addendum ⋮ Canonical universal locally finite groups ⋮ There are four countable ultrahomogeneous graphs without triangles ⋮ Fraïssé sequences: category-theoretic approach to universal homogeneous structures ⋮ Union decompositions and universal classes categorical in power ⋮ On models with large automorphism groups ⋮ Products of two-sorted structures ⋮ Nonstandard topology and extensions of monad systems to infinite points ⋮ Constructing quasiminimal structures ⋮ On Keisler singular-like models ⋮ An Almost Everywhere Direct Power ⋮ Bemerkungen über minimale Modelle ⋮ A new proof of a theorem of Shelah ⋮ Unnamed Item ⋮ Reduced Products and Horn Classes ⋮ Generalizing special Aronszajn trees ⋮ The number of fragments of the perfect class of the Jonsson spectrum ⋮ Action of endomorphism semigroups on definable sets ⋮ Countable homogeneous relational structures and ℵ₀-categorical theories ⋮ Unions of Relational Systems ⋮ Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ A counterexample in the theory of model companions ⋮ On Jonsson stability and some of its generalizations ⋮ The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small ⋮ The Stone Space of the Saturated Boolean Algebras ⋮ Dependent \(T\) and existence of limit models ⋮ The primal framework. II: Smoothness ⋮ Monads of Infinite Points and Finite Product Spaces ⋮ Distanced graphs ⋮ Saturation and omitting types ⋮ Extending Congruence Relations ⋮ Game sentences and ultrapowers ⋮ Models of complete theories ⋮ Theories of linear order ⋮ There are just four second-order quantifiers ⋮ Primality and model-completions ⋮ Adequate Ultrafilters of Special Boolean Algebras ⋮ Ensemble ordonne universel recouvert par deux chaînes ⋮ A two cardinal theorem for sets of formulas in a stable theory ⋮ Notes on Quasiminimality and Excellence ⋮ Espaces de Baire et espaces de probabilité de structures rélationnelles ⋮ The embeddability ordering of topological spaces ⋮ Hanf number of omitting type for simple first-order theories ⋮ An axiomatization for a class of two-cardinal models ⋮ Fondements de la logique positive ⋮ Saturated models in institutions ⋮ Theories with a finite number of countable models ⋮ SEPARABLE MODELS OF RANDOMIZATIONS ⋮ Homogeneity conditions in graphs ⋮ On the number of homogeneous models of a given power ⋮ Some model theoretic results for \(\omega\)-logic ⋮ Countable models of \(\aleph_ 1\)-categorical theories ⋮ Stable theories ⋮ A note on the embedding property ⋮ Prime extensions and categoricity in power ⋮ Every two elementarily equivalent models have isomorphic ultrapowers ⋮ Models with countable-categorical universal theories ⋮ Problems of the theory of models, related to categoricity ⋮ Universal homogeneous algebras ⋮ An example of two elementarily equivalent, but nonisomorphic finitely generated metabelian groups ⋮ Locally finite Jonsson conditional varieties and the conditional rational equivalence ⋮ Large superuniversal metric spaces ⋮ Universal spaces for classes of scattered eberlein compact spaces ⋮ Generalized Quantifiers and Compact Logic ⋮ Categoricity in nondenumerable powers and \(\aleph_1\)-homogeneous models ⋮ Almost categorical theories ⋮ Notes on combinatorial set theory ⋮ Countable Homogeneous Tournaments ⋮ On N\(^*\)-homogeneous models ⋮ Theorien mit relativ konstruktiblen saturierten Modellen ⋮ Some new results in definability ⋮ First order properties of pairs of cardinals ⋮ Amalgamation of pure embeddings ⋮ Loeb-measurable solutions to *finite games ⋮ Une Généralisation de l'ultraproduit ⋮ Limit ultraproducts ⋮ Saturated models of incomplete theories ⋮ Ultraproducts of finite sets ⋮ Gruppenuniversalität und Homogenisierbarkeit ⋮ Some applications of infinitely long formulas ⋮ On the definability of the quantifier there exist uncountably many ⋮ Ultraproducts which are not saturated

This page was built for publication: Homogeneous Universal Models.