A Theorem on Definitions of the Zermelo‐Neumann Ordinals

Mathematical Logic Quarterly 13 (16‐18):241-250 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19670131602

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Slim models of zermelo set theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.
An intuitionistic version of zermelo's proof that every choice set can be well-ordered.J. Todd Wilson - 2001 - Journal of Symbolic Logic 66 (3):1121-1126.
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.
Boltzmann's h-theorem, its limitations, and the birth of statistical mechanics.Harvey R. Brown & Wayne Myrvold - unknown
Short definitions of the ordinals.Kenneth R. Brown & Hao Wang - 1966 - Journal of Symbolic Logic 31 (3):409-414.
Reverse mathematics of prime factorization of ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.
Long-time behavior of macroscopic quantum systems: Commentary accompanying the English translation of John Von Neumann's 1929 article on the quantum ergodic theorem.Sheldon Goldstein & Roderich Tumulka - unknown
Implementing Mathematical Objects in Set Theory.Thomas Forster - 2007 - Logique Et Analyse 50 (197):79-86.
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.
Long-Time Behavior of Macroscopic Quantum Systems: Commentary Accompanying the English Translation of John von Neumann’s 1929 Article on the Quantum Ergodic Theorem.Sheldon Goldstein, Roderich Tumulka, Joel L. Lebowitz & Nino Zangh`ı - unknown
Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681-681.
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators.Toshiyasu Arai - 2004 - Journal of Symbolic Logic 69 (3):830-850.
Set Theory, Topology, and the Possibility of Junky Worlds.Thomas Mormann - 2014 - Notre Dame Journal of Formal Logic 55 (1): 79 - 90.

Analytics

Added to PP
2013-11-24

Downloads
5 (#1,514,558)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A system of axiomatic set theory—Part II.Paul Bernays - 1941 - Journal of Symbolic Logic 6 (1):1-17.

Add more references