Π 2 1 -Logic and uniformization in the analytical hierarchy

Archive for Mathematical Logic 28 (2):99-117 (1989)
  Copy   BIBTEX

Abstract

We give a simple proof ofΠ 1 1 andΠ 2 1 uniformization results, which is based on the use ofΠ 2 1 -Logic

Categories

Keywords

Reprint years

DOI

10.1007/bf01633985

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

Uniformization principles.Alan H. Mekler & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):441-459.
Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets.Shaughan Lavine - 1993 - Journal of Symbolic Logic 58 (1):81-98.
Uniformization of linear arrays.N. J. Fine & R. Harrop - 1957 - Journal of Symbolic Logic 22 (2):130-140.
Review: Yoshindo Suzuki, On the Uniformization Principle. [REVIEW]Stephen J. Garland - 1971 - Journal of Symbolic Logic 36 (4):687-687.
Review: Yoemon Sampei, On the uniformization of a Set of Class $A_{rhosigma}$. [REVIEW]M. R. Krom - 1970 - Journal of Symbolic Logic 35 (1):146-147.
Uniformization, choice functions and well orders in the class of trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (4):1206-1227.
Projective uniformization revisited.Kai Hauser & Ralf-Dieter Schindler - 2000 - Annals of Pure and Applied Logic 103 (1-3):109-153.
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
Nondeterministic Ω‐Computations and the Analytical Hierarchy.J. Castro & F. Cucker - 1989 - Mathematical Logic Quarterly 35 (4):333-342.
Systems of notations and the ramified analytical hierarchy.Joan D. Lukas & Hilary Putnam - 1974 - Journal of Symbolic Logic 39 (2):243-253.
A degree-theoretic definition of the ramified analytical hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.

Analytics

Added to PP
2013-11-23

Downloads
19 (#781,160)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Large cardinals and large dilators.Andy Lewis - 1998 - Journal of Symbolic Logic 63 (4):1496-1510.

Add more citations

References found in this work

[product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.

Add more references