Publication:3391907

From MaRDI portal


zbMath1183.03002MaRDI QIDQ3391907

John T. Baldwin

Publication date: 13 August 2009



03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03C52: Properties of classes of models

03C98: Applications of model theory

03C35: Categoricity and completeness of theories

03C48: Abstract elementary classes and related topics

03C95: Abstract model theory


Related Items

Toward a stability theory of tame abstract elementary classes, EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES, HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM, THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES, UNIVERSAL CLASSES NEAR ${\aleph _1}$, Building prime models in fully good abstract elementary classes, A presentation theorem for continuous logic and metric abstract elementary classes, On the uniqueness property of forking in abstract elementary classes, Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes, Categoricity and universal classes, TAMENESS FROM LARGE CARDINAL AXIOMS, Independence in Model Theory, Model Theory in Algebra, Analysis and Arithmetic: A Preface, Large cardinal axioms from tameness in AECs, TAMENESS AND FRAMES REVISITED, Structural logic and abstract elementary classes with intersections, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, Symmetry and the union of saturated models in superstable abstract elementary classes, Quasiminimal structures, groups and Zariski-like geometries, \(\mu\)-abstract elementary classes and other generalizations, Infinitary stability theory, Building independence relations in abstract elementary classes, Shelah's eventual categoricity conjecture in universal classes. II, Superstability from categoricity in abstract elementary classes, Symmetry in abstract elementary classes with amalgamation, Forking in short and tame abstract elementary classes, Category-theoretic aspects of abstract elementary classes, An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN, Abstract elementary classes and accessible categories, Downward categoricity from a successor inside a good frame, Exercices de style: a homotopy theory for set theory, Tameness, uniqueness triples and amalgamation, Iterated elementary embeddings and the model theory of infinitary logic, Abstract elementary classes and infinitary logics, Iterated ultrapowers for the masses, Good frames in the Hart-Shelah example, Quasiminimal abstract elementary classes, Model theoretic characterizations of large cardinals, Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences, A model theoretic solution to a problem of László Fuchs, Superstability, Noetherian rings and pure-semisimple rings, Non-forking w-good frames, Coxeter groups and abstract elementary classes: the right-angled case, Tameness from two successive good frames, Categoricity in multiuniversal classes, Algebraic description of limit models in classes of abelian groups, Computable categoricity for pseudo-exponential fields of \(\aleph_1\), Shelah's eventual categoricity conjecture in universal classes. I., Saturation and solvability in abstract elementary classes with amalgamation, The metamathematics of random graphs, On a possible application of the homotopy concept to model theory, \(^{\perp}N\) as an abstract elementary class, Abstract elementary classes stable in \(\aleph_{0}\), Elementary equivalences and accessible functors, Three red herrings around Vaught’s conjecture, CATEGORICITY IN QUASIMINIMAL PREGEOMETRY CLASSES, CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES, FORKING AND SUPERSTABILITY IN TAME AECS, COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM, CONSTRUCTING MANY ATOMIC MODELS IN ℵ1, Categoricity transfer in simple finitary abstract elementary classes, THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES, A category-theoretic characterization of almost measurable cardinals, On quasiminimal excellent classes, Abstract elementary classes induced by tilting and cotilting modules have finite character