- 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
Applications of iterated perfect set forcing
Annals of Pure and Applied Logic 39 (1):19-53 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Marcia J. Groszek. Applications of iterated perfect set forcing. Annals of pure and applied logic, vol. 39 , pp. 19– 53. [REVIEW]Andreas Blass - 1990 - Journal of Symbolic Logic 55 (1):360-361.
Iterated perfect-set forcing.James E. Baumgartner & Richard Laver - 1979 - Annals of Mathematical Logic 17 (3):271-288.
Laver Richard. On the consistency of Borel's conjecture. Acta mathematica, vol. 137 no. 3–4 , pp. 151–169.Baumgartner James E. and Laver Richard. Iterated perfect-set forcing. Annals of mathematical logic, vol. 17 , pp. 271–288. [REVIEW]Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):882-883.
Model theoretic forcing in analysis.Itaï Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Some applications of positive formulas in descriptive set theory and logic.Stephen Dyck - 1990 - Annals of Pure and Applied Logic 46 (2):95-146.
Notes on some second-order systems of iterated inductive definitions and Π 1 1 -comprehensions and relevant subsystems of set theory. [REVIEW]Kentaro Fujimoto - 2015 - Annals of Pure and Applied Logic 166 (4):409-463.
Perfect-set forcing for uncountable cardinals.Akihiro Kanamori - 1980 - Annals of Mathematical Logic 19 (1-2):97-114.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Analytics
Added to PP
2014-01-16
Downloads
26 (#1,018,452)
6 months
2 (#1,532,513)
2014-01-16
Downloads
26 (#1,018,452)
6 months
2 (#1,532,513)
Historical graph of downloads
Citations of this work
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic.Vladimir Kanovei & Vassily Lyubetsky - forthcoming - Studia Logica:1-16.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Ω*1 as an initial segment of the c-degrees.Marcia Groszek - 1994 - Journal of Symbolic Logic 59 (3):956 - 976.
References found in this work
Iterated perfect-set forcing.James E. Baumgartner & Richard Laver - 1979 - Annals of Mathematical Logic 17 (3):271-288.
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75).Bohuslav Balcar & Petr Hájek - 1978 - Mathematical Logic Quarterly 24 (19-24):291-296.
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-786669fdf6-56bfd uwo