𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Consistency of the Definable Tree Property on ℵ1

✍ Scribed by Amir Leshem


Book ID
124978571
Publisher
Association for Symbolic Logic
Year
2000
Tongue
English
Weight
260 KB
Volume
65
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On the Compactness of ℵ1and ℵ2
✍ C. A. Di Prisco and J. Henle 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 209 KB
On the Euler characteristic of definable
✍ Mário J. Edmundo 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 69 KB

We show that in an arbitrary o-minimal structure the following are equivalent: (i) conjugates of a definable subgroup of a definably connected, definably compact definable group cover the group if the o-minimal Euler characteristic of the quotient is non zero; (ii) every infinite, definably connecte