Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
22
views
29
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
136
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Reflections on the Foundations of Mathematics : Univalent Foundations, Set Theory and General Thoughts
Maddy On The Multiverse
other
Author(s):
Claudio Ternullo
Publication date
(Online):
November 12 2019
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
29
Record
: found
Abstract
: not found
Book
: not found
Proofs and Refutations
Imre Lakatos
,
John Worrall
,
Elie Zahar
(1976)
0
comments
Cited
64
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The Iterative Conception of Set
George Boolos
(1971)
0
comments
Cited
20
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Über Grenzzahlen und Mengenbereiche
Ernest Zermelo
(1930)
0
comments
Cited
16
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2019
Publication date (Online):
November 12 2019
Pages
: 43-78
DOI:
10.1007/978-3-030-15655-8_3
SO-VID:
86e7ea55-b9a1-42d9-ad3a-310ac82b9119
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. C1
Correction to: Formal and Natural Proof: A Phenomenological Approach
pp. 3
Interview With a Set Theorist
pp. 27
How to Choose New Axioms for Set Theory?
pp. 43
Maddy On The Multiverse
pp. 79
Proving Theorems from Reflection
pp. 101
Naïve Type Theory
pp. 137
Univalent Foundations and the Equivalence Principle
pp. 151
Higher Structures in Homotopy Type Theory
pp. 173
Univalent Foundations and the UniMath Library
pp. 191
Models of HoTT and the Constructive View of Theories
pp. 223
Set Theory and Structures
pp. 255
A New Foundational Crisis in Mathematics, Is It Really Happening?
pp. 271
A Comparison of Type Theory with Set Theory
pp. 293
What Do We Want a Foundation to Do?
pp. 315
Formal and Natural Proof: A Phenomenological Approach
pp. 345
Varieties of Pluralism and Objectivity in Mathematics
pp. 363
From the Foundations of Mathematics to Mathematical Pluralism
pp. 381
Does Mathematics Need Foundations?
pp. 399
Foundations for the Working Mathematician, and for Their Computer
pp. 417
How to Frame a Mathematician
pp. 437
Formalising Mathematics in Simple Type Theory
pp. 455
Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
Similar content
136
Maddie's infection control manual for animal shelters: for veterinary personel
Authors:
C. Peterson
,
G. DVORAK
,
Anna Spickler
Development and evaluation of MADDIE: Method to Acquire Delivery Date Information from Electronic health records
Authors:
Silvia P. Canelón
,
Heather H. Burris
,
Lisa D. Levine
…
Maddy on Realism in Mathematics
Authors:
See all similar
Cited by
1
Mathematical Practices Can Be Metaphysically Laden
Authors:
Colin Jakob Rittberg
See all cited by