Foundations of Higher-Order Forcing

Bulletin of Symbolic Logic 24 (4):457-457 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2018.38

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Second-order Logic And Foundations Of Mathematics.Jouko V. "A. "An "Anen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Jeremy Avigad. Formalizing forcing arguments in subsystems of second-order arithmetic. Annals of pure and applied logic, vol. 82 , pp. 165–191. [REVIEW]Alberto Marcone - 2001 - Bulletin of Symbolic Logic 7 (3):390-391.
J. Zapletal: Forcing idealized.Mirna Džamonja - 2010 - Bulletin of Symbolic Logic 16 (2).
Sacks Forcing and the Total Failure of Martin's Axiom.James E. Baumgartner & Peter Dordal - 2000 - Bulletin of Symbolic Logic 6 (4):495-497.
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.W. Hugh Woodin - 2002 - Bulletin of Symbolic Logic 8 (1):91-93.
Forcing idealized. Cambridge Tracts in Mathematics, vol. 174.J. Zapletal - 2010 - Bulletin of Symbolic Logic 16 (2):278-279.
REVIEWS-The axiom of determinacy, forcing axioms, and the nonstationary ideal. Paul B/Larson.H. Woodin - 2002 - Bulletin of Symbolic Logic 8 (1):91-93.

Analytics

Added to PP
2019-01-04

Downloads
37 (#616,168)

6 months
6 (#888,477)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Carolin Antos
Universität Konstanz

Citations of this work

Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.

Add more citations

References found in this work

No references found.

Add more references