Carolin Antos

According to our database, Carolin Antos authored at least 5 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Universism and Extensions of V.

Carolin Antos, Neil Barton, Sy-David Friedman

Rev. Symb. Log., 2021

2020

Introduction.

Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo, John Wigglesworth

Synth., 2020

2018

Foundations of Higher-Order Forcing.

Carolin Antos

Bull. Symb. Log., 2018

2017

Hyperclass forcing in Morse-Kelley class Theory.

Carolin Antos, Sy-David Friedman

J. Symb. Log., 2017

2015

Multiverse conceptions in set theory.

Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo

Synth., 2015