16 citations · 16 across the 2 of their papers we have counts for
3 papers
math.LO2017★ 16 cited
Universism and Extensions of V
Carolin Antos, Neil Barton, Sy-David Friedman
A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain th…
math.LO2015
Hyperclass Forcing in Morse-Kelley Class Theory
Carolin Antos, Sy-David Friedman
In this article we introduce and study hyperclass-forcing (where the conditions of the forcing notion are themselves classes) in the context of an extension of Morse-Kelley class t…
math.LO2015
Class-Forcing in Class Theory
Carolin Antos
In this article we adapt the existing account of class-forcing over a ZFC model to a model of Morse-Kelley class theory. We give a rigorous definition of class-fo…