Countable Fréchet Boolean groups: An independence result

&
Journal of Symbolic Logic 74 (3):1061-1068 (2009)
  Copy   BIBTEX

Abstract

It is relatively consistent with ZFC that every countable $FU_{fin} $ space of weight N₁ is metrizable. This provides a partial answer to a question of G. Gruenhage and P. Szeptycki [GS1]

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1245158099

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.Carl G. Jockusch & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (4):1121 - 1138.
Countably-categorical Boolean algebras with distinguished ideals.D. E. Pal'chunov - 1987 - Studia Logica 46 (2):121 - 135.
Independence property and hyperbolic groups.Eric Jaligot, Alexey Muranov & Azadeh Neman - 2008 - Bulletin of Symbolic Logic 14 (1):88 - 98.
Metamathematics of Ulm theory.Harvey Friedman - manuscript
On automorphism groups of countable structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.
Boolean Skeletons of MV-algebras and ℓ-groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
The independence of the prime ideal theorem from the order-extension principle.U. Felgner & J. K. Truss - 1999 - Journal of Symbolic Logic 64 (1):199-215.
A remark on Martin's conjecture.Su Gao - 2001 - Journal of Symbolic Logic 66 (1):401-406.
Absolutely independent axiomatizations for countable sets in classical logic.Joanna Grygiel - 1989 - Studia Logica 48 (1):77 - 84.
Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra.E. W. Madison & B. Zimmermann-Huisgen - 1986 - Journal of Symbolic Logic 51 (2):292-301.
Chains and antichains in interval algebras.M. Bekkali - 1994 - Journal of Symbolic Logic 59 (3):860-867.

Analytics

Added to PP
2010-09-12

Downloads
42 (#372,141)

6 months
14 (#171,169)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Katětov order on Borel ideals.Michael Hrušák - 2017 - Archive for Mathematical Logic 56 (7-8):831-847.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Ways of Destruction.Barnabás Farkas & Lyubomyr Zdomskyy - 2022 - Journal of Symbolic Logic 87 (3):938-966.
Convergent sequences in topological groups.Michael Hrušák & Alexander Shibakov - 2021 - Annals of Pure and Applied Logic 172 (5):102910.
Co-analytic mad families and definable wellorders.Vera Fischer, Sy David Friedman & Yurii Khomskii - 2013 - Archive for Mathematical Logic 52 (7-8):809-822.

View all 9 citations / Add more citations

References found in this work

Forcing with quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
Van Douwen’s diagram for dense sets of rationals.Jörg Brendle - 2006 - Annals of Pure and Applied Logic 143 (1-3):54-69.

Add more references