On the prewellorderings associated with the directed systems of mice

Journal of Symbolic Logic 78 (3):735-763 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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

Similar books and articles

Projective prewellorderings vs projective wellfounded relations.Xianghui Shi - 2009 - Journal of Symbolic Logic 74 (2):579-596.
A Problem Concerning Projective Prewellorderings.Douglas R. Busch - 1976 - Mathematical Logic Quarterly 23 (13‐15):237-240.
Iterating the Superjump Along Definable Prewellorderings.Galen Weitkamp - 1982 - Mathematical Logic Quarterly 28 (27‐32):385-394.
A Problem Concerning Projective Prewellorderings.Douglas R. Busch - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (13-15):237-240.
Iterating the Superjump Along Definable Prewellorderings.Galen Weitkamp - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):385-394.
Is Any Economic System Unjust?Charles Sayward - 1989 - Southwest Philosophy Review 5 (2):17-23.
Goal-Directed Systems.Frederick Ray Adams - 1982 - Dissertation, The University of Wisconsin - Madison
The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,110,001)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.
HOD L(ℝ) is a Core Model Below Θ.John R. Steel - 1995 - Bulletin of Symbolic Logic 1 (1):75-84.
On the determinacy of games on ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.

View all 8 references / Add more references