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
61
, Issue
3
195
--
221
Peter Cholak
,
Rodney G. Downey
.
Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees
223
--
239
Ya acov Peterzil
.
Zilber s Conjecture for Some o-Minimal Structures over the Reals
241
--
276
Philip Scowcroft
,
Angus Macintyre
.
On the Elimination of Imaginaries from Certain Valued Fields
Volume
61
, Issue
1-2
3
--
48
Zofia Adamowicz
.
A Contribution to the End-Extension Problem and the Pi::1:: Conservativeness Problem
49
--
62
Paola D Aquino
.
A Sharpened Version of McAloon s Theorem on Initial Segments of Models of I Delta::0::
63
--
73
Richard Kaye
.
Hilbert s Tenth Problem for Weak Theories of Arithmetic
75
--
93
Alessandro Berarducci
,
Rineke Verbrugge
.
On the Provability Logic of Bounded Arithmetic
95
--
111
George Boolos
.
The Analytical Completeness of Dzhaparidze s Polymodal Logics
113
--
160
Giorgie Dzhaparidze
.
A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic
161
--
173
V. Yu. Shavrukov
.
A Note on the Diagonalizable Algebras of PA and ZF
175
--
193
Per Lindström
.
On Sigma::1:: and Pi::1:: Sentences and Degrees of Interpretability