activity
19922023
most citedHenkin constructions of models with size continuum

2 citations · 7 across the 20 of their papers we have counts for

collaborators

21 papers

math.LO2023

When does -categoricity imply -stability?

John T. Baldwin, M. C. Laskowski, Saharon Shelah

For an -categorical atomic class, we clarify the space of types over the unique model of size . Using these results, we prove that if such a class has a model o…

math.LO2023★ 1 cited

Zilber's notion of logically perfect structure: Universal Covers

John T. Baldwin, Andrés Villaveces

We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centere…

math.LO2021

Maximal models up to the first measurable in ZFC

John T. Baldwin, Saharon Shelah

Theorem: There is a {\em complete sentence} of such that has maximal models in a set of cardinals that is cofinal in the first measurable while has…

math.LO2021

Hanf numbers for Extendibility and related phenomena

John T. Baldwin, Saharon Shelah

This paper contains portions of Baldwin's talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed p…

math.LO2021

Strongly Minimal Steiner Systems II: Coordinatization and Quasigroups

John T. Baldwin

We note that a strongly minimal Steiner -Steiner system from (Baldwin-Paolini 2020) can be `coordinatized' in the sense of (Gantner-Werner 1975) by a quasigroup if i…

math.LO2019

Strongly Minimal Steiner Systems I: Existence

John Baldwin, Gianluca Paolini

A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner -system (for ) is a linear space such that each lin…