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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Higher-order uncertainty.Kevin Dorst - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press.
A variant of Mathias forcing that preserves \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{ACA}_0}$$\end{document}. [REVIEW]François G. Dorais - 2012 - Archive for Mathematical Logic 51 (7-8):751-780.
Forcing notions in inner models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
A Model for Spacetime II. The Emergence of Higher Dimensions and Field Theory/Strings Dualities.Jerzy Król - 2006 - Foundations of Physics 36 (12):1778-1800.
σ-Continuity and related forcings.Marcin Sabok - 2009 - Archive for Mathematical Logic 48 (5):449-464.
Large cardinals and locally defined well-orders of the universe.David Asperó & Sy-David Friedman - 2009 - Annals of Pure and Applied Logic 157 (1):1-15.
Radin forcing and its iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
Higher-Order Defeat and Doxastic Resilience.Asbjørn Steglich-Petersen - 2019 - In Mattias Skipper & Asbjørn Steglich-Petersen (eds.), Higher-Order Evidence: New Essays. Oxford, United Kingdom: Oxford University Press.
Projective absoluteness for Sacks forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
Hechler’s theorem for the null ideal.Maxim R. Burke & Masaru Kada - 2004 - Archive for Mathematical Logic 43 (5):703-722.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I.Chaz Schlindwein - 2014 - Archive for Mathematical Logic 53 (1-2):171-202.

Analytics

Added to PP
2019-01-04

Downloads
29 (#535,100)

6 months
4 (#818,853)

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