| Publication | Date of Publication | Type |
|---|
Zilber's notion of logically perfect structure: universal covers
Model Theory | 2024-08-27 | Paper |
When does \(\aleph_1\)-categoricity imply \(\omega\)-stability?
Model Theory | 2024-08-27 | Paper |
Maximal models up to the first measurable in ZFC
Journal of Mathematical Logic | 2024-01-31 | Paper |
Towards a finer classification of strongly minimal sets
Annals of Pure and Applied Logic | 2023-12-18 | Paper |
| When does $\aleph_1$-categoricity imply $\omega$-stability? | 2023-08-26 | Paper |
Strongly minimal Steiner systems. II: Coordinatization and quasigroups
Algebra Universalis | 2023-05-22 | Paper |
| The reasonable effectiveness of model theory in mathematics | 2023-03-29 | Paper |
| Zilber's notion of logically perfect structure: Universal Covers | 2023-02-09 | Paper |
| scientific article; zbMATH DE number 7594250 (Why is no real title available?) | 2022-09-28 | Paper |
Hanf numbers for extendibility and related phenomena
Archive for Mathematical Logic | 2022-06-14 | Paper |
| Strongly minimal Steiner Systems III: Path graphs and sparse configurations | 2022-01-27 | Paper |
STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE
Journal of Symbolic Logic | 2022-01-17 | Paper |
Hanf numbers for Extendibility and related phenomena
(available as arXiv preprint) | 2021-11-02 | Paper |
Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities
Mathematical Logic Quarterly | 2020-05-06 | Paper |
Hanf numbers and presentation theorems in AECs
(available as arXiv preprint) | 2020-04-02 | Paper |
How Big Should the Monster Model Be?
Logic Without Borders | 2020-02-03 | Paper |
| Model Theory and the Philosophy of Mathematical Practice | 2019-12-05 | Paper |
Axiomatizing changing conceptions of the geometric continuum. I: Euclid-Hilbert
Philosophia Mathematica | 2019-09-25 | Paper |
HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
The Bulletin of Symbolic Logic | 2019-04-30 | Paper |
Strongly Minimal Steiner Systems I: Existence
(available as arXiv preprint) | 2019-03-08 | Paper |
Axiomatizing changing conceptions of the geometric continuum. II: Archimedes-Descartes-Hilbert-Tarski
Philosophia Mathematica | 2019-02-26 | Paper |
Finding \(2^{\aleph_0}\) countable models for ordered theories
Sibirskie Elektronnye Matematicheskie Izvestiya | 2018-09-04 | Paper |
| The complex numbers and complex exponentiation. Why infinitary logic is necessary! | 2018-02-28 | Paper |
| Model theory and the philosophy of mathematical practice. Formalization without foundationalism | 2018-01-02 | Paper |
Henkin constructions of models with size continuum
(available as arXiv preprint) | 2017-10-01 | Paper |
| Fundamentals of stability theory | 2017-07-06 | Paper |
DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
Journal of Symbolic Logic | 2017-06-01 | Paper |
Constructing many atomic models in \(\aleph_1\)
Journal of Symbolic Logic | 2017-04-28 | Paper |
Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
The joint embedding property and maximal models
Archive for Mathematical Logic | 2016-05-13 | Paper |
Three red herrings around Vaught's conjecture
Transactions of the American Mathematical Society | 2016-03-07 | Paper |
Iterated elementary embeddings and the model theory of infinitary logic
Annals of Pure and Applied Logic | 2016-01-12 | Paper |
Almost Galois \(\omega\)-stable classes
Journal of Symbolic Logic | 2015-11-09 | Paper |
Complete $\mathcal{L}_{\omega_1,\omega}$-Sentences with Maximal Models in Multiple Cardinalities
(available as arXiv preprint) | 2015-08-26 | Paper |
A Hanf number for saturation and omission: the superstable case
Mathematical Logic Quarterly | 2014-12-05 | Paper |
Completeness and categoricity (in power): formalization without foundationalism
The Bulletin of Symbolic Logic | 2014-10-21 | Paper |
Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives
Bulletin of the American Mathematical Society | 2014-07-29 | Paper |
Beyond first order logic: from number of structures to structure of numbers. I
Bulletin of the Iranian Mathematical Society | 2014-07-09 | Paper |
Beyond first order logic: from number of structures to structure of numbers. II
Bulletin of the Iranian Mathematical Society | 2014-07-09 | Paper |
Amalgamation, absoluteness, and categoricity
Proceedings of the 11th Asian Logic Conference | 2013-06-03 | Paper |
Formalization, primitive concepts, and purity
The Review of Symbolic Logic | 2013-04-24 | Paper |
The stability spectrum for classes of atomic models
Journal of Mathematical Logic | 2012-09-06 | Paper |
A Hanf number for saturation and omission
Fundamenta Mathematicae | 2011-07-21 | Paper |
| scientific article; zbMATH DE number 5785670 (Why is no real title available?) | 2010-09-14 | Paper |
| Categoricity | 2009-08-13 | Paper |
Examples of non-locality
Journal of Symbolic Logic | 2009-03-23 | Paper |
| scientific article; zbMATH DE number 5263058 (Why is no real title available?) | 2008-04-14 | Paper |
Cayley's theorem for ordered groups: \(o\)-minimality
Sibirskie Elektronnye Matematicheskie Izvestiya | 2008-04-14 | Paper |
Cayley's theorem for ordered groups: \(o\)-minimality
Sibirskie Elektronnye Matematicheskie Izvestiya | 2008-04-14 | Paper |
\(^{\perp}N\) as an abstract elementary class
Annals of Pure and Applied Logic | 2007-11-27 | Paper |
The Vaught conjecture: do uncountable models count?
Notre Dame Journal of Formal Logic | 2007-08-10 | Paper |
Upward stability transfer for tame abstract elementary classes
Notre Dame Journal of Formal Logic | 2007-02-15 | Paper |
The metamathematics of random graphs
Annals of Pure and Applied Logic | 2006-10-30 | Paper |
Uncountable categoricity of local abstract elementary classes with amalgamation
Annals of Pure and Applied Logic | 2006-10-30 | Paper |
Determined theories and limit laws
Information and Computation | 2006-08-16 | Paper |
Subsets of superstable structures are weakly benign
Journal of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2236685 (Why is no real title available?) | 2005-12-08 | Paper |
Local homogeneity
Journal of Symbolic Logic | 2005-08-29 | Paper |
Constructing \(\omega\)-stable structures: rank \(k\)-fields
Notre Dame Journal of Formal Logic | 2005-07-13 | Paper |
Notes on Quasiminimality and Excellence
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
Expansions of geometries
Journal of Symbolic Logic | 2005-02-09 | Paper |
Constructing \(\omega\)-stable structures: Model completeness.
Annals of Pure and Applied Logic | 2004-03-14 | Paper |
Model companions of \(T_{\Aut}\) for stable \(T\)
Notre Dame Journal of Formal Logic | 2004-02-04 | Paper |
Amalgamation properties and finite models in \(L^n\)-theories
Archive for Mathematical Logic | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1827966 (Why is no real title available?) | 2002-11-13 | Paper |
Constructing \(\omega\)-stable structures: Computing rank
Fundamenta Mathematicae | 2002-02-21 | Paper |
| scientific article; zbMATH DE number 1974652 (Why is no real title available?) | 2002-01-01 | Paper |
Finite and infinite model theory - a historical perspective
Logic Journal of the IGPL | 2000-10-30 | Paper |
Stability theory, permutations of indiscernibles, and embedded finite models
Transactions of the American Mathematical Society | 2000-10-03 | Paper |
Stability, the finite cover property and 0-1 laws
Journal Of Logic And Computation | 2000-06-21 | Paper |
Classification of δ-invariant amalgamation classes
Journal of Symbolic Logic | 2000-06-07 | Paper |
On the classifiability of cellular automata
Theoretical Computer Science | 2000-06-04 | Paper |
Constructing ω-stable structures: rank 2 fields
Journal of Symbolic Logic | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1392296 (Why is no real title available?) | 2000-01-24 | Paper |
Transfering saturation, the finite cover property, and stability
Journal of Symbolic Logic | 1999-09-12 | Paper |
DOP and FCP in generic structures
Journal of Symbolic Logic | 1999-06-21 | Paper |
DOP and FCP in generic structures
Journal of Symbolic Logic | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1072411 (Why is no real title available?) | 1997-11-26 | Paper |
Randomness and semigenericity
Transactions of the American Mathematical Society | 1997-04-08 | Paper |
Stable generic structures
Annals of Pure and Applied Logic | 1997-03-11 | Paper |
Abstract classes with few models have ‘homogeneous-universal’ models
Journal of Symbolic Logic | 1995-11-28 | Paper |
| Some Projective Planes of Lenz-Barlotti Class I | 1995-09-06 | Paper |
| An Almost Strongly Minimal Non-Desarguesian Projective Plane | 1994-09-26 | Paper |
K‐generic Projective Planes have Morley Rank Two or Infinity
Mathematical Logic Quarterly | 1994-09-08 | Paper |
| scientific article; zbMATH DE number 554978 (Why is no real title available?) | 1994-04-19 | Paper |
Forcing isomorphism
Journal of Symbolic Logic | 1994-03-14 | Paper |
| scientific article; zbMATH DE number 493067 (Why is no real title available?) | 1994-01-27 | Paper |
| scientific article; zbMATH DE number 40985 (Why is no real title available?) | 1992-09-17 | Paper |
The primal framework. II: Smoothness
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
The primal framework. I
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4139699 (Why is no real title available?) | 1990-01-01 | Paper |
The spectrum of resplendency
Journal of Symbolic Logic | 1990-01-01 | Paper |
Diverse classes
Journal of Symbolic Logic | 1989-01-01 | Paper |
On Markov Processes in Elementary Mathematics Courses
The American Mathematical Monthly | 1989-01-01 | Paper |
Semisimple stable and superstable groups
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Categoricity and generalized model completeness
Archive for Mathematical Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4077176 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4037828 (Why is no real title available?) | 1987-01-01 | Paper |
Trivial pursuit: remarks on the main gap
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4047698 (Why is no real title available?) | 1987-01-01 | Paper |
On the definability of \(P_ S(A)\)
Algebra Universalis | 1986-01-01 | Paper |
Second-order quantifiers and the complexity of theories
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3882412 (Why is no real title available?) | 1984-01-01 | Paper |
First-order theories of abstract dependence relations
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
The structure of saturated free algebras
Algebra Universalis | 1983-01-01 | Paper |
Model complete universal Horn classes
Algebra Universalis | 1983-01-01 | Paper |
Some contributions to definability theory for languages with generalized quantifiers
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3821715 (Why is no real title available?) | 1982-01-01 | Paper |
Counting models in universal Horn classes
Algebra Universalis | 1982-01-01 | Paper |
A combinatorial fact about free algebras
Algebra Universalis | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3792245 (Why is no real title available?) | 1982-01-01 | Paper |
Algebraically prime models
Annals of Mathematical Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3728242 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3765862 (Why is no real title available?) | 1981-01-01 | Paper |
The number of subdirectly irreducible algebras in a variety. II
Algebra Universalis | 1980-01-01 | Paper |
Ramsey quantifiers and the finite cover property
Pacific Journal of Mathematics | 1980-01-01 | Paper |
Stability theory and Algebra
Journal of Symbolic Logic | 1979-01-01 | Paper |
Some EC∑ Classes of Rings
Mathematical Logic Quarterly | 1978-01-01 | Paper |
\(\aleph_0\)-categoricity and stability of rings
Journal of Algebra | 1977-01-01 | Paper |
A model theoretic approach to Malcev conditions
Journal of Symbolic Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532941 (Why is no real title available?) | 1976-01-01 | Paper |
Varieties and finite closure conditions
Colloquium Mathematicum | 1976-01-01 | Paper |
The number of subdirectly irreducible algebras in a variety
Algebra Universalis | 1975-01-01 | Paper |
Conservative extensions and the two cardinal theorem for stable theories
Fundamenta Mathematicae | 1975-01-01 | Paper |
A Topology for the Space of Countable Models of a First Order Theory
Mathematical Logic Quarterly | 1974-01-01 | Paper |
An axiomatic approach to rank in model theory
Annals of Mathematical Logic | 1974-01-01 | Paper |
Atomic compactness in $ℵ_1$ - categorical Horn theories
Fundamenta Mathematicae | 1974-01-01 | Paper |
The number of automorphisms of models of $ℵ_1$-categorical theories
Fundamenta Mathematicae | 1973-01-01 | Paper |
a T is Finite for ℵ 1 -Categorical T
Transactions of the American Mathematical Society | 1973-01-01 | Paper |
On universal Horn classes categorical in some infinite power
Algebra Universalis | 1973-01-01 | Paper |
Almost strongly minimal theories. II
Journal of Symbolic Logic | 1973-01-01 | Paper |
A natural theory without a prime model
Algebra Universalis | 1973-01-01 | Paper |
A sufficient condition for a variety to have the amalgamation property
Colloquium Mathematicum | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3370325 (Why is no real title available?) | 1972-01-01 | Paper |
Almost strongly minimal theories. I
Journal of Symbolic Logic | 1972-01-01 | Paper |
On strongly minimal sets
Journal of Symbolic Logic | 1971-01-01 | Paper |
Variations on a Theme of Makowski
(available as arXiv preprint) | N/A | Paper |
