Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 60
Volume 60, Number 1, 24 February 1993
- Valentina S. Harizanov:
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. 1-30 - Thomas A. Nevins:
Degrees of Convex Dependence in Recursively Enumerable Vector Spaces. 31-47 - Michael Rathjen, Andreas Weiermann:
Proof-Theoretic Investigations on Kruskal's Theorem. 49-88
Volume 60, Number 2, 13 April 1993
- Ulrich Berger
:
Total Sets and Objects in Domain Theory. 91-117 - Gerhard Jäger:
Fixed Points in Peano Arithmetic with Ordinals. 119-132 - Martin Kummer, Frank Stephan:
Weakly Semirecursive Sets and r.e. Orderings. 133-150 - Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Linearizing Intuitionistic Implication. 151-177 - Siu-Ah Ng:
Loeb Extensions and Ultrapowers of Measures on Fragments. 179-189
Volume 60, Number 3, 6 May 1993
- Rodney G. Downey:
Every Recursive Boolean Algebra is Isomorphic to One with Incomplete Atoms. 193-206 - Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis:
Some Effectively Infinite Classes of Enumerations. 207-235 - Kitty L. Holland:
Projective Geometries of Algebraically Closed Fields of Characteristic Zero. 237-260 - Renling Jin, H. Jerome Keisler:
Game Sentences and Ultrapowers. 261-274 - Margarita Otero:
The Joint Embedding Property in Normal Open Induction. 275-290
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-01 20:04 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:
