Notes on Pi^1_1 Conservativity, Omega-Submodels, and the Collection Schema

Abstract

These are some minor notes and observations related to a paper by Cholak, Jockusch, and Slaman [3]

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Notes on II-conservativity, w-submodels, and the Collection Schema.Jeremy Avigad - unknown
On the Relationship Between ID^_.Jeremy Avigad - unknown
On chains of relatively saturated submodels of a model without the order property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):124-128.
Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.
An ordinal partition avoiding pentagrams.Jean A. Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.
Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".Carl G. Jockusch & Tamara J. Lakins - 2002 - Journal of Symbolic Logic 67 (3):1078 - 1082.
Infinite numbers are large finite numbers.Jeremy Gwiazda - unknown
Applications of elementary submodels in general topology.Stefan Geschke - 2002 - Synthese 133 (1-2):31 - 41.
Models with the ω-property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.
How to count situations (notes towards a user's manual).Kai von Fintel - manuscript
Ion PLATON Traduction inédite, introduction et notes par Monique Canto Collection «GF-Texte intégral» Paris, Flammarion, 1989, 188 p. - Euthydème Platon Traduction nouvelle, introduction et notes par Monique Canto Collection «GF-Texte intégral» Paris, Flammarion, 1989, 255 p. [REVIEW]Yvon Lafrance - 1992 - Dialogue 31 (4):707-.
Emulator as body schema.Virginia Slaughter - 2004 - Behavioral and Brain Sciences 27 (3):415-416.

Analytics

Added to PP
2010-09-14

Downloads
14 (#934,671)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Avigad
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
Formalizing forcing arguments in subsystems of second-order arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
A feasible theory for analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
Solovay's theorem cannot be simplified.Andrew Arana - 2001 - Annals of Pure and Applied Logic 112 (1):27-41.

Add more references