𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Weak forms of elimination of imaginaries

✍ Scribed by Enrique Casanovas; Rafel Farré

Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
217 KB
Volume
50
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A ⊆ B ⊆ acl(A) and closed subgroups of the Galois group Aut(acl(A)/A). We also characterize when the topology of the Galois group is the quotient topology. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Splitting stationary sets from weak form
Splitting stationary sets from weak forms of Choice
✍ Paul Larson; Saharon Shelah 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 120 KB

## Abstract Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below __λ__ of cofinality __θ__ into __λ__ many stationary sets, where __θ__ < __λ__ are regular cardinals. This is a continuation of [4] (© 2009 WILEY‐VCH Verlag GmbH &

Some weak forms of the Baire category th
Some weak forms of the Baire category theorem
✍ Kyriakos Kermedis 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

## Abstract We show that the statement (K12) “separable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC(ℝ) (the axiom of choice for countable families of non‐empty subsets of the real line ℝ). We also find some characterizations of the axi