Projectively well-ordered inner models

Annals of Pure and Applied Logic 74 (1):77-104 (1995)
  Copy   BIBTEX

Abstract

Projectively well-ordered inner models

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)00021-t

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

Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Ordered sets R and Q as bases of Kripke models.Mitio Takano - 1987 - Studia Logica 46 (2):137 - 148.
Ordered preference differences without ordered preferences.Peter C. Fishburn - 1986 - Synthese 67 (2):361 - 368.
Reconsidering ordered pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
Definable sets in Boolean-ordered o-minimal structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
On models with power-like ordering.Saharon Shelah - 1972 - Journal of Symbolic Logic 37 (2):247-267.
Nonconstructive Properties of Well-Ordered T 2 topological Spaces.Kyriakos Keremedis & Eleftherios Tachtsis - 1999 - Notre Dame Journal of Formal Logic 40 (4):548-553.
Lattice Ordered O -Minimal Structures.Carlo Toffalori - 1998 - Notre Dame Journal of Formal Logic 39 (4):447-463.
Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups. [REVIEW]Anatole Khelif - 1996 - Journal of Symbolic Logic 61 (1):277 - 284.
Soft ordered semigroups.Young Bae Jun, Kyoung Ja Lee & Asghar Khan - 2010 - Mathematical Logic Quarterly 56 (1):42-50.
Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
The variety of lattice-ordered monoids generated by the natural numbers.Annika M. Wille - 2004 - Studia Logica 76 (2):275 - 290.
Logics Projectively Generated from [ℳ︁] = (ℱ4, [{1}]) by a Set of Homomorphisms.Ventura Verdú - 1987 - Mathematical Logic Quarterly 33 (3):235-241.
An elementary sentence which has ordered models.James H. Schmerl - 1972 - Journal of Symbolic Logic 37 (3):521-530.

Analytics

Added to PP
2014-01-16

Downloads
20 (#747,345)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

PFA Implies ADL(R).John R. Steel - 2005 - Journal of Symbolic Logic 70 (4):1255 - 1296.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.

View all 28 citations / Add more citations

References found in this work

Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.

Add more references