Foundations of mathematics

2020

Carolin Antos, Neil Barton, Sy D. Friedman, Claudio Ternullo, John Wigglesworth (eds)

Synthese 197 (2)

Introduction

2020

Carolin Antos, Claudio Ternullo, Sy D. Friedman, Neil Barton, John Wigglesworth

Synthese 197 (2)

Maximality and ontology

how axiom content varies across philosophical frameworks

2020

Neil Barton, Sy D. Friedman

Synthese 197 (2)

Definability of satisfaction in outer models

2018

Radek Honzik, Sy D. Friedman

in: The hyperuniverse project and maximality, Berlin,

Evidence for set-theoretic truth and the hyperuniverse programme

2018

Sy D. Friedman

in: The hyperuniverse project and maximality, Berlin,

Explaining maximality through the hyperuniverse programme

2018

Claudio Ternullo, Sy D. Friedman

in: The hyperuniverse project and maximality, Berlin,

Hyperclass forcing in Morse-Kelley class theory

2018

Carolin Antos, Sy D. Friedman

in: The hyperuniverse project and maximality, Berlin,

Multiverse conceptions in set theory

2018

Carolin Antos, Radek Honzik, Claudio Ternullo, Sy D. Friedman

in: The hyperuniverse project and maximality, Berlin,

On the set-generic multiverse

2018

Sy D. Friedman, Sakaé Fuchino, Hiroshi Sakai

in: The hyperuniverse project and maximality, Berlin,

The hyperuniverse project and maximality

2018

Carolin Antos, Radek Honzik, Claudio Ternullo, Sy D. Friedman (eds)

Berlin, Springer