Page 1

Displaying 1 – 5 of 5

Showing per page

A Hanf number for saturation and omission

John T. Baldwin, Saharon 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,...

Amenability and Ramsey theory in the metric setting

Adriane Kaïchouh (2015)

Fundamenta Mathematicae

Moore [Fund. Math. 220 (2013)] characterizes the amenability of the automorphism groups of countable ultrahomogeneous structures by a Ramsey-type property. We extend this result to the automorphism groups of metric Fraïssé structures, which encompass all Polish groups. As an application, we prove that amenability is a G δ condition.

Currently displaying 1 – 5 of 5

Page 1