default search action
Annals of Pure and Applied Logic, Volume 68
Volume 68, Number 1, 9 June 1994
- Kevin J. Davey:
Inseparability in Recursive Copies. 1-52 - Jean-Louis Krivine:
Classical Logic, Storage Operators and Second-Order lambda-Calculus. 53-78 - Christopher Lee Miller:
Expansions of the Real Field with Power Functions. 79-94 - Saharon Shelah:
Cardinalities of Topologies with Small Base. 95-113
Volume 68, Number 2, 15 July 1994
- Lev D. Beklemishev:
On Bimodal Logics of Provability. 115-159 - Rodney G. Downey, Yang Yue:
A Rank one Cohesive Set. 161-171 - Gérard Leloup:
Rings of Monoids Elementarily Equivalent to Polynomial Rings. 173-180 - Michael Rathjen:
Proof Theory of Reflection. 181-224
Volume 68, Number 3, 12 August 1994
- Oleg V. Belegradek:
The Model Theory of Unitriangular Groups. 225-261 - Masanao Ozawa:
Forcing in Nonstandard Analysis. 263-297 - Alexandra Shalpentokh:
Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q. 299-325 - Otmar Spinas:
Dominating Projective Sets in the Baire Space. 327-342
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.