researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Annals of Pure and Applied Logic
Home
Index
Info
Volume
Volume
70
, Issue
3
205
--
221
Christopher J. Ash
,
Julia F. Knight
.
Ramified Systems
223
--
241
James Cummings
.
Coherent Sequences versus Radin Sequences
243
--
285
Jeff B. Paris
,
Alena Vencovská
,
George M. Wilmers
.
A Natural Prior Probability Distribution Derived from the Propositional Calculus
Volume
70
, Issue
2
113
--
139
Rodney G. Downey
,
William I. Gasarch
,
Michael Moses
.
The Structure of the Honest Polynomial m-Degrees
141
--
175
Ludomir Newelski
.
Meager Forking
177
--
203
Fons van Engelen
.
On Borel Ideals
Volume
70
, Issue
1
1
--
16
Sy D. Friedman
.
A Simpler proof of Jensen s Coding Theorem
17
--
49
W. G. Handley
,
S. S. Wainer
.
Equational Derivation vs. Computation
51
--
86
André Joyal
,
Ieke Moerdijk
.
A Completeness Theorem for Open Maps
87
--
111
Jaap van Oosten
.
Axiomatizing Higher-Order Kleene Realizability