John T. Baldwin

collaborators

2 papers

math.LO2025

An analogue of U-rank for atomic classes

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

For a countable, complete, first-order theory $T$ , we study $A t$ , the class of atomic models of $T$ . We develop an analogue of $U$ -rank and prove two results. On one hand, if some…

math.MG2024

Variations on a Theme of Makowski

John T. Baldwin

We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its un…