Executing Gödel's Programme in Set Theory

Dissertation, Birkbeck, University of London (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.
Hilbert's programme and gödel's theorems.Karl-Georg Niebergall & Matthias Schirn - 2002 - Dialectica 56 (4):347–370.
A Contribution to Gödel's Axiomatic Set-Theory, I.Ladislav Rieger - 1958 - Journal of Symbolic Logic 23 (2):216-217.
A Contribution to Gödel's Axiomatic Set Theory, II and III.Ladislav Rieger - 1975 - Journal of Symbolic Logic 40 (2):242-243.
Rieger Ladislav. A contribution to Gödel's axiomatic set-theory, I. English, with Russian summary. Čéhoslovačkij matématičéskij žurnal , vol. 7 , pp. 323–357. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):216-217.
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
Hilbert and the internal logic of mathematics.Yvon Gauthier - 1994 - Synthese 101 (1):1 - 14.
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.

Analytics

Added to PP
2023-02-15

Downloads
300 (#78,650)

6 months
136 (#42,747)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Barton
University of Oslo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references