


default search action
Annals of Pure and Applied Logic, Volume 74
Volume 74, Number 1, 27 June 1995
- Charalampos Cornaros:
On Grzegorczyk Induction. 1-21 - Phokion G. Kolaitis, Jouko A. Väänänen
:
Generalized Quantifiers and Pebble Games on Finite Structures. 23-75 - John R. Steel:
Projectively Well-Ordered Inner Models. 77-104
Volume 74, Number 2, 28 July 1995
- Gerhard Jäger, Thomas Strahm:
Totality in Applicative Theories. 105-120 - Dusko Pavlovic
:
On Completeness and Cocompleteness in an Around Small Categories. 121-152 - Ernest Schimmerling
:
Combinatorial Principle in the Core Model for one Woodin Cardinal. 153-201
Volume 74, Number 3, 18 August 1995
- Arthur W. Apter, Menachem Magidor:
Instances of Dependent Choice and the Measurability of alephomega + 1. 203-219 - Samuel R. Buss, Aleksandar Ignjatovic:
Unprovability of Consistency Statements in Fragments of Bounded Arithmetic. 221-244 - Kai Hauser:
The Consistency Strength of Projective Absoluteness. 245-295

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.