Carolin Antos

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 4

Top Topics

Efficient Implementation

Algebraic Geometry

Top Venues

Bull. Symb. Log.

Rev. Symb. Log.

Publications

Carolin Antos, Neil Barton, Sy-David Friedman
Universism and Extensions of V. Rev. Symb. Log. 14 (1) (2021)
Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo, John Wigglesworth
Introduction. Synth. 197 (2) (2020)
Carolin Antos
Foundations of Higher-Order Forcing. Bull. Symb. Log. 24 (4) (2018)
Carolin Antos, Sy-David Friedman
Hyperclass forcing in Morse-Kelley class Theory. J. Symb. Log. 82 (2) (2017)
Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
Multiverse conceptions in set theory. Synth. 192 (8) (2015)