Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 55
Volume 55, Number 1, 28 November 1991
- John T. Baldwin, Saharon Shelah
:
The Primal Framework II: Smoothness. 1-34 - Alessandro Berarducci, Benedetto Intrigila:
Combinatorial Principles in Elementary Number Theory. 35-50 - Valentina S. Harizanov:
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra. 51-65 - Richard Kaye, Roman Kossak, Henryk Kotlarski:
Automorphisms of Recursively Saturated Models of Arithmetic. 67-99
Volume 55, Number 2, 20 December 1991
- Inge Bethke:
Finite Type Structures within Combinatory Algebras. 101-123 - S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare:
The d.r.e. Degrees are Not Dense. 125-151 - James Loveys:
Locally Finite Weakly Minimal Theories. 153-203
Volume 55, Number 3, 28 February 1992
- Colin Bailey, Rodney G. Downey:
Tabular Degrees in alpha-Recursion Theory. 205-236 - Derrick Albert DuBose:
Determinacy and the Sharp Functions on the Reals (Corrected Version). 237-263 - Sakaé Fuchino, Sabine Koppelberg, Makoto Takahashi:
On Linfty k-free Boolean Algebras. 265-284 - Noa Goldring:
Woodin Cardinals and Presaturated Ideals. 285-303 - Kelleen R. Hurlburt:
Sufficiency Conditions for Theories with Recursive Models. 305-320
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-08-23 18:33 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:
