- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Adding dependent choice
Annals of Mathematical Logic 11 (1):105 (1977)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Adding closed cofinal sequences to large cardinals.Lon Berk Radin - 1982 - Annals of Mathematical Logic 22 (3):243.
The proof-theoretic analysis of Σ11 transfinite dependent choice.Christian Rüede - 2003 - Annals of Pure and Applied Logic 122 (1):195-234.
Cardinal addition and the axiom of choice.R. E. Bradford - 1971 - Annals of Mathematical Logic 3 (2):111.
Cardinal addition and the axiom of choice.Robert Earl Brandford - 1971 - Annals of Mathematical Logic 3 (2):111-196.
Set existence property for intuitionistic theories with dependent choice.Harvey M. Friedman & Andrej Ščedrov - 1983 - Annals of Pure and Applied Logic 25 (2):129-140.
An independence result concerning the axiom of choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1):1-184.
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249.
Algebraic completion without the axiom of choice.Jørgen Harmse - 2022 - Mathematical Logic Quarterly 68 (4):394-397.
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 , pp. 423–468.E. G. K. Lopez-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
Analytics
Added to PP
2014-01-17
Downloads
21 (#1,012,268)
6 months
6 (#879,768)
2014-01-17
Downloads
21 (#1,012,268)
6 months
6 (#879,768)
Historical graph of downloads
Citations of this work
MA(ℵ0) restricted to complete Boolean algebras and choice.Eleftherios Tachtsis - 2021 - Mathematical Logic Quarterly 67 (4):420-431.
Relations between cardinalities of the finite sequences and the finite subsets of a set.Navin Aksornthong & Pimpen Vejjajiva - 2018 - Mathematical Logic Quarterly 64 (6):529-534.
On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
Dependent choice, properness, and generic absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.
References found in this work
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
An independence result concerning the axiom of choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1):1-184.
Über die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):129-130.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-72rpk uwo