Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 61
Volume 61, Numbers 1-2, 6 May 1993
- Zofia Adamowicz:
A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem. 3-48 - Paola D'Aquino:
A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0. 49-62 - Richard Kaye:
Hilbert's Tenth Problem for Weak Theories of Arithmetic. 63-73 - Alessandro Berarducci
, Rineke Verbrugge:
On the Provability Logic of Bounded Arithmetic. 75-93 - George Boolos:
The Analytical Completeness of Dzhaparidze's Polymodal Logics. 95-111 - Giorgie Dzhaparidze:
A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic. 113-160 - V. Yu. Shavrukov:
A Note on the Diagonalizable Algebras of PA and ZF. 161-173 - Per Lindström:
On Sigma1 and Pi1 Sentences and Degrees of Interpretability. 175-193
Volume 61, Number 3, 11 June 1993
- Peter Cholak, Rodney G. Downey:
Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees. 195-221 - Ya'acov Peterzil:
Zilber's Conjecture for Some o-Minimal Structures over the Reals. 223-239 - Philip Scowcroft, Angus Macintyre:
On the Elimination of Imaginaries from Certain Valued Fields. 241-276
a service of 
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.
last updated on 2024-07-02 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
