- 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
On the Hamkins approximation property
Annals of Pure and Applied Logic 144 (1-3):126-129 (2006)
Abstract
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author’s thesis of a model with no ω2-Aronszajn trees, and also the “Key Lemma” in Hamkins’ gap forcing theorems. The new lemma directly yields Hamkins’ newer lemma stating that certain forcing notions have the approximation propertyAuthor's Profile
DOI
10.1016/j.apal.2006.05.005
My notes
Similar books and articles
A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
Nonlocality and the Rotating Wave Approximation.A. A. Clerk & J. E. Sipe - 1998 - Foundations of Physics 28 (4):639-651.
Approximation Representations for Δ2 Reals.George Barmpalias - 2004 - Archive for Mathematical Logic 43 (8):947-964.
Towards an Expanded Epistemology for Approximations.Jeffry L. Ramsey - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:154 - 164.
On the Computational Complexity of Best L1-approximation.Paulo Oliva - 2002 - Mathematical Logic Quarterly 48 (S1):66-77.
Truth approximation via abductive belief change.Gustavo Cevolani - 2013 - Logic Journal of the IGPL 21 (6):999-1016.
Max sat approximation beyond the limits of polynomial-time approximation.Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch & Boris Konev - 2001 - Annals of Pure and Applied Logic 113 (1-3):81-94.
Property Rights in Blood, Genes and Data: Naturally Yours?Jasper A. Bovenberg - 2006 - Martinus Nijhoff Publishers.
Simplificando el Analisis de las Comparaciones de Aproximacion (Simplifying the Analysis of the Approximation Comparisons).Juan Carlos García-Bermejo - 2000 - Theoria 15 (2):349-382.
Grasping phenomenal properties.Martine Nida-Rumelin - 2006 - In Torin Alter & Sven Walter (eds.), Phenomenal Concepts and Phenomenal Knowledge: New Essays on Consciousness and Physicalism. Oxford University Press.
Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
Generalizing empirical adequacy I: multiplicity and approximation.Sebastian Lutz - 2014 - Synthese 191 (14):3195-3225.
Analytics
Added to PP
2013-12-31
Downloads
37 (#322,158)
6 months
7 (#127,476)
2013-12-31
Downloads
37 (#322,158)
6 months
7 (#127,476)
Historical graph of downloads
Author's Profile
Citations of this work
Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
The downward directed grounds hypothesis and very large cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
Superstrong and other large cardinals are never Laver indestructible.Joan Bagaria, Joel David Hamkins, Konstantinos Tsaprounis & Toshimichi Usuba - 2016 - Archive for Mathematical Logic 55 (1-2):19-35.
Characterizing large cardinals in terms of layered posets.Sean Cox & Philipp Lücke - 2017 - Annals of Pure and Applied Logic 168 (5):1112-1131.
Indestructible Strong Unfoldability.Joel David Hamkins & Thomas A. Johnstone - 2010 - Notre Dame Journal of Formal Logic 51 (3):291-321.
References found in this work
Aronszajn trees and the independence of the transfer property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
A weak variation of Shelah's I[ω₂].William J. Mitchell - 2004 - Journal of Symbolic Logic 69 (1):94-100.
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-5ffd8f9497-z94v9 N