On the Hamkins approximation property

Annals of Pure and Applied Logic 144 (1-3):126-129 (2006)
  Copy   BIBTEX

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 property

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

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

Through your library

Similar books and articles

Ehrenfeucht’s Lemma in Set Theory.Gunter Fuchs, Victoria Gitman & Joel David Hamkins - 2018 - Notre Dame Journal of Formal Logic 59 (3):355-370.
A more direct proof of a result of Shelah.Winfried Just - 1991 - Annals of Pure and Applied Logic 53 (3):261-267.
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
On the diagonal lemma of Gödel and Carnap.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (1):80-88.

Analytics

Added to PP
2013-12-31

Downloads
46 (#106,786)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my 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.
Quotients of strongly proper forcings and guessing models.Sean Cox & John Krueger - 2016 - Journal of Symbolic Logic 81 (1):264-283.
Fragility and indestructibility II.Spencer Unger - 2015 - Annals of Pure and Applied Logic 166 (11):1110-1122.

View all 14 citations / Add more citations

References found in this work

A weak variation of Shelah's I[ω₂].William J. Mitchell - 2004 - Journal of Symbolic Logic 69 (1):94-100.

Add more references