default search action
Annals of Pure and Applied Logic, Volume 70
Volume 70, Number 1, 18 November 1994
- Sy D. Friedman:
A Simpler proof of Jensen's Coding Theorem. 1-16 - W. G. Handley, Stanley S. Wainer:
Equational Derivation vs. Computation. 17-49 - André Joyal, Ieke Moerdijk:
A Completeness Theorem for Open Maps. 51-86 - Jaap van Oosten:
Axiomatizing Higher-Order Kleene Realizability. 87-111
Volume 70, Number 2, 5 December 1994
- Rodney G. Downey, William I. Gasarch, Michael F. Moses:
The Structure of the Honest Polynomial m-Degrees. 113-139 - Ludomir Newelski:
Meager Forking. 141-175 - Fons van Engelen:
On Borel Ideals. 177-203
Volume 70, Number 3, 30 December 1994
- Christopher J. Ash, Julia F. Knight:
Ramified Systems. 205-221 - James Cummings:
Coherent Sequences versus Radin Sequences. 223-241 - Jeff B. Paris, Alena Vencovská, George M. Wilmers:
A Natural Prior Probability Distribution Derived from the Propositional Calculus. 243-285
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.