A theorem on $n$-tuples which is equivalent to the well-ordering theorem

&
Notre Dame Journal of Formal Logic 8 (1-2):48-50 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956243

Links

PhilArchive



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

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

Corrigendum to our paper: "A theorem on $n$-tuples which is equivalent to the well-ordering theorem".H. Rubin & J. E. Rubin - 1970 - Notre Dame Journal of Formal Logic 11 (2):220-220.
A general theorem on termination of rewriting.Jeremy E. Dawson - unknown
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
A constructive formulation of Gleason's theorem.Helen Billinge - 1997 - Journal of Philosophical Logic 26 (6):661-670.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
A normal form theorem for lω 1p, with applications.Douglas N. Hoover - 1982 - Journal of Symbolic Logic 47 (3):605 - 624.
The Fan Theorem and Unique Existence of Maxima.Josef Berger, Douglas Bridges & Peter Schuster - 2006 - Journal of Symbolic Logic 71 (2):713 - 720.
Gaifman's theorem on categorial grammars revisited.Wojciech Buszkowski - 1988 - Studia Logica 47 (1):23 - 33.
Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
Back to basics: Revisiting the incompleteness theorems.Peter Smith - unknown
Connections between axioms of set theory and basic theorems of universal algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.

Analytics

Added to PP
2010-08-24

Downloads
21 (#695,936)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references