Theories of types and ordered pairs

Notre Dame Journal of Formal Logic 16 (3):418-420 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891807

Links

PhilArchive



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

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

Reconsidering ordered pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
Ordered pairs and cardinality in new foundations.John Lake - 1974 - Notre Dame Journal of Formal Logic 15 (3):481-484.
A set theory with support for partial functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
On ordered pairs.W. V. Quine - 1945 - Journal of Symbolic Logic 10 (3):95-96.
Ordered preference differences without ordered preferences.Peter C. Fishburn - 1986 - Synthese 67 (2):361 - 368.
Evidence and the hierarchy of mathematical theories.Charles Parsons - unknown
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
On models with power-like ordering.Saharon Shelah - 1972 - Journal of Symbolic Logic 37 (2):247-267.
Phenomenal and objective size.John Zeimbekis - 2009 - Noûs 43 (2):346-362.
Set—Theoretical Representations of Ordered Pairs and Their Adequacy for the Logic of Relations.Randall R. Dipert - 1982 - Canadian Journal of Philosophy 12 (2):353 - 374.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
Definable sets in Boolean-ordered o-minimal structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,054,764)

6 months
2 (#1,263,261)

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