∑2-constructions and I∑1

&
Annals of Pure and Applied Logic 93 (1-3):83-101 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(97)00055-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.
∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.
Marcia J. Groszek. Applications of iterated perfect set forcing. Annals of pure and applied logic, vol. 39 , pp. 19– 53. [REVIEW]Andreas Blass - 1990 - Journal of Symbolic Logic 55 (1):360-361.
A microscopic approach to Souslin-tree constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.
< i> Π_< sup> 1< sub> 2 Wadge degrees.Greg Hjorth - 1996 - Annals of Pure and Applied Logic 77 (1):53-74.
Priority constructions.J. R. Shoenfield - 1996 - Annals of Pure and Applied Logic 81 (1-3):115-123.
A< i> Π_< sup> 1< sub> 2 singleton incompatible with 0< sup>#.M. C. Stanley - 1994 - Annals of Pure and Applied Logic 66 (1):27-88.
Constructions by transfinitely many workers.Julia F. Knight - 1990 - Annals of Pure and Applied Logic 48 (3):237-259.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
Simplicity of the automorphism groups of some Hrushovski constructions.David M. Evans, Zaniar Ghadernezhad & Katrin Tent - 2016 - Annals of Pure and Applied Logic 167 (1):22-48.

Analytics

Added to PP
2014-03-22

Downloads
5 (#1,562,871)

6 months
8 (#415,230)

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

Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Iterated trees and fragments of arithmetic.Yue Yang - 1995 - Archive for Mathematical Logic 34 (2):97-112.

Add more references