On a problem of C. H. dowker

&
Journal of Symbolic Logic 56 (4):1284-1289 (1991)
  Copy   BIBTEX

Abstract

It is shown that $\operatorname{Con}(ZF)$ implies $\operatorname{Con}(ZFC$ + there exists a Dowker filter on ω2). The problem is also considered on higher cardinals

Categories

Keywords

Reprint years

DOI

10.2307/2275475

Links

PhilArchive



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

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 scientific philosophy and philosophy of science (part 2).Kuligin Victor, Kuligina Galina & Korneva Maria - unknown
The axiom of determinancy implies dependent choices in l(r).Alexander S. Kechris - 1984 - Journal of Symbolic Logic 49 (1):161 - 173.
Consequences of arithmetic for set theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.
Propositional proof systems, the consistency of first order theories and the complexity of computations.Jan Krajíček & Pavel Pudlák - 1989 - Journal of Symbolic Logic 54 (3):1063-1079.
The Kunen-Miller chart (lebesgue measure, the baire property, Laver reals and preservation theorems for forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
Old evidence again.Simon Evnine - manuscript
Generic trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.

Analytics

Added to PP
2009-01-28

Downloads
14 (#934,671)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references