Currently displaying 1 – 7 of 7

Showing per page

Order by Relevance | Title | Year of publication

A Hanf number for saturation and omission

John T. BaldwinSaharon Shelah — 2011

Fundamenta Mathematicae

Suppose t = (T,T₁,p) is a triple of two countable theories T ⊆ T₁ in vocabularies τ ⊂ τ₁ and a τ₁-type p over the empty set. We show that the Hanf number for the property ’there is a model M₁ of T₁ which omits p, but M₁ ↾ τ is saturated’ is essentially equal to the Löwenheim number of second order logic. In Section 4 we make exact computations of these Hanf numbers and note some distinctions between ’first order’ and ’second order quantification’. In particular, we show that if κ is uncountable,...

Constructing ω-stable structures: Computing rank

John T. BaldwinKitty Holland — 2001

Fundamenta Mathematicae

This is a sequel to [1]. Here we give careful attention to the difficulties of calculating Morley and U-rank of the infinite rank ω-stable theories constructed by variants of Hrushovski's methods. Sample result: For every k < ω, there is an ω-stable expansion of any algebraically closed field which has Morley rank ω × k. We include a corrected proof of the lemma in [1] establishing that the generic model is ω-saturated in the rank 2 case.

Autonomy of Geometry

John T. BaldwinAndreas Mueller — 2019

Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia

In this paper we present three aspects of the autonomy of geometry. (1) An argument for the geometric as opposed to the ‘geometric algebraic’ interpretation of Euclid’s Books I and II; (2) Hilbert’s successful project to axiomatize Euclid’s geometry in a first order geometric language, notably eliminating the dependence on the Archimedean axiom; (3) the independent conception of multiplication from a geometric as opposed to an arithmetic viewpoint.

Page 1

Download Results (CSV)