The following pages link to John T. Baldwin (Q283126):
Displaying 50 items.
- The joint embedding property and maximal models (Q283129) (← links)
- Constructing \(\omega\)-stable structures: rank \(k\)-fields (Q558737) (← links)
- Counting models in universal Horn classes (Q594089) (← links)
- (Q757350) (redirect page) (← links)
- Semisimple stable and superstable groups (Q757351) (← links)
- On universal Horn classes categorical in some infinite power (Q759010) (← links)
- A combinatorial fact about free algebras (Q790862) (← links)
- The structure of saturated free algebras (Q792314) (← links)
- Model complete universal Horn classes (Q800351) (← links)
- Upward stability transfer for tame abstract elementary classes (Q867409) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- The Vaught conjecture: do uncountable models count? (Q998139) (← links)
- First-order theories of abstract dependence relations (Q1073012) (← links)
- Second-order quantifiers and the complexity of theories (Q1078169) (← links)
- On the definability of \(P_ S(A)\) (Q1089022) (← links)
- Trivial pursuit: remarks on the main gap (Q1095890) (← links)
- Categoricity and generalized model completeness (Q1098836) (← links)
- The number of subdirectly irreducible algebras in a variety. II (Q1156823) (← links)
- Ramsey quantifiers and the finite cover property (Q1157322) (← links)
- The primal framework. II: Smoothness (Q1182429) (← links)
- The number of subdirectly irreducible algebras in a variety (Q1234301) (← links)
- \(\aleph_0\)-categoricity and stability of rings (Q1242979) (← links)
- (Q1407531) (redirect page) (← links)
- Amalgamation properties and finite models in \(L^n\)-theories (Q1407532) (← links)
- Model companions of \(T_{\Aut}\) for stable \(T\) (Q1422102) (← links)
- Constructing \(\omega\)-stable structures: Model completeness. (Q1428040) (← links)
- Finding \(2^{\aleph_0}\) countable models for ordered theories (Q1669769) (← links)
- The primal framework. I (Q1813741) (← links)
- Stable generic structures (Q1919536) (← links)
- On the classifiability of cellular automata (Q1978505) (← links)
- Hanf numbers for extendibility and related phenomena (Q2144615) (← links)
- Beyond first order logic: from number of structures to structure of numbers. I (Q2249172) (← links)
- Beyond first order logic: from number of structures to structure of numbers. II (Q2249173) (← links)
- A ''natural'' theory without a prime model (Q2264761) (← links)
- The metamathematics of random graphs (Q2433743) (← links)
- Uncountable categoricity of local abstract elementary classes with amalgamation (Q2433744) (← links)
- \(^{\perp}N\) as an abstract elementary class (Q2461189) (← links)
- Cayley's theorem for ordered groups: \(o\)-minimality (Q2481182) (← links)
- Determined theories and limit laws (Q2500471) (← links)
- Constructing ω-stable structures: Computing rank (Q2773235) (← links)
- Three red herrings around Vaught’s conjecture (Q2790604) (← links)
- Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction (Q2820685) (← links)
- THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS (Q2909618) (← links)
- COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM (Q2925323) (← links)
- A Hanf number for saturation and omission: the superstable case (Q2933743) (← links)
- CONSTRUCTING MANY ATOMIC MODELS IN ℵ<sub>1</sub> (Q2976384) (← links)
- A Hanf number for saturation and omission (Q3018118) (← links)
- Randomness and semigenericity (Q3127255) (← links)
- Expansions of geometries (Q3160571) (← links)
- (Q3216638) (← links)
