Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 49
Volume 49, Number 1, 25 September 1990
- R. Gurevic:
Equational Theory of Positive Numbers with Exponentiation is Not Finitely Axiomatizable. 1-30 - Angus Macintyre:
Rationality of p-adic Poincaré Series: Uniformity in p. 31-74 - Phil Watson:
On Restricted Forms of Enumeration Reducibility. 75-96
Volume 49, Number 2, 12 October 1990
- Rodney G. Downey:
Lattice Nonembeddings and Initial Segments of the Recursively Enumerable Degrees. 97-119 - Martin Goldstern, Saharon Shelah
:
Ramsey Ultrafilters and the Reaping Number - Con(r<u). 121-142 - Thomas G. McLaughlin:
Sub-Arithmetical Ultrapowers: A Survey. 143-191
Volume 49, Number 3, 22 October 1990
- Bruno Courcelle:
The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs. 193-255 - Qi Feng:
A Hierarchy of Ramsey Cardinals. 257-277 - Donald A. Martin:
An Extension of Borel Determinacy. 279-293
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-29 22:40 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:
