There is no standard model of ZFC

Journal of Global Research in Mathematical Archives 5 (1):33-50 (2018)
  Copy   BIBTEX

Abstract

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].

Categories

Keywords

Reprint years

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

Prof. Jaykov - 2015 - British Journal of Mathematics and Computer Science 9 (5): 380-393.
A Note on Forrester’s Paradox.Clayton Peterson & Jean-Pierre Marquis - 2012 - Polish Journal of Philosophy 6 (2):53-70.
The Philosophical Significance of Tennenbaum’s Theorem.T. Button & P. Smith - 2012 - Philosophia Mathematica 20 (1):114-121.
The cumulative hierarchy and the constructible universe of ZFA.Matteo Viale - 2004 - Mathematical Logic Quarterly 50 (1):99.
Religion as an Evolutionary Byproduct: A Critique of the Standard Model.Russell Powell & Steve Clarke - 2012 - British Journal for the Philosophy of Science 63 (3):457-486.
‘But can't we get the same thing with a standard model?’ Rationalizing bounded-rationality models.Ran Spiegler - 2011 - Economics and Philosophy 27 (1):23-43.
Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard analysis.Sylvia Wenmackers - 2013 - Journal of Applied Logic 11 (4):452-467.
Some Notes on Boolos’ Semantics: Genesis, Ontological Quests and Model-Theoretic Equivalence to Standard Semantics.Francesco Maria Ferrari - 2018 - Axiomathes 28 (2):125-154.
Generating ontology: From quantum mechanics to quantum field theory.Edward MacKinnon - manuscript
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Non-standard models and the sociology of cosmology.Martín López-Corredoira - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 46 (1):86-96.
Truth and Consistency.Jan Woleński - 2010 - Axiomathes 20 (2-3):347-355.
Semantic Regularity and the Liar Paradox.Nicholas J. J. Smith - 2006 - The Monist 89 (1):178 - 202.
The standard model as a philosophical challenge.Edward MacKinnon - 2008 - Philosophy of Science 75 (4):447-457.
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.

Analytics

Added to PP
2017-12-24

Downloads
337 (#56,950)

6 months
72 (#58,716)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
A set of axioms for logic.Theodore Hailperin - 1944 - Journal of Symbolic Logic 9 (1):1-19.

View all 7 references / Add more references