Fake reflection

Type: Preprint

Publication Date: 2020-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2003.08340

Locations

  • arXiv (Cornell University) - View
  • DataCite API - View

Similar Works

Action Title Year Authors
+ Fake reflection. 2020 Gabriel Fernandes
Miguel Moreno
Assaf Rinot
+ Constructibility and Class Forcing 2009 Sy D. Friedman
+ Forcing axioms and stationary sets 1992 Boban Veličković
+ An introduction to forcing axioms, SRP and OCA 2014 Giorgio Audrito
Gemma Carotenuto
+ Forcing axioms, approachability at $\omega_2$, and stationary set reflection 2018 Sean Cox
+ Forcing Axioms 1998 Maxim R. Burke
+ An introduction to forcing axioms, SRP and OCA 2014 Giorgio Audrito
Gemma Carotenuto
+ Reflection in Set Theory the Bernays-Levy Axiom System 1997 Gert H. MĂĽller
+ PARTIAL STATIONARY REFLECTION PRINCIPLES (Forcing extensions and large cardinals) 2013 季路 薄葉
+ PARTIAL STATIONARY REFLECTION PRINCIPLES (Forcing extensions and large cardinals) 2013 Toshimichi Usuba
+ Formalization of Forcing in Isabelle/ZF 2020 Emmanuel Gunther
Miguel Pagano
Pedro Sánchez Terraf
+ Set Theory with Urelements 2023 Bokai Yao
+ Absoluteness via Resurrection 2014 Giorgio Audrito
Matteo Viale
+ Forcing axioms, approachability, and stationary set reflection 2018 Sean Cox
+ Forcing axioms, approachability, and stationary set reflection 2018 Sean Cox
+ Forcing and normality 1998 Renata Grunberg
LĂşcia R. Junqueira
Franklin D. Tall
+ Formalization of Forcing in Isabelle/ZF 2020 Emmanuel Gunther
Miguel Pagano
Pedro Sánchez Terraf
+ Formalization of Forcing in Isabelle/ZF 2020 Emmanuel Gunther
Miguel Pagano
Pedro Sánchez Terraf
+ Forcing revisited 2023 Toby Meadows
+ PDF Chat FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION 2021 Sean Cox

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (0)

Action Title Year Authors