Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 156
Volume 156, Number 1, November 2008
- S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen:
Preface. 1-2 - Klaus Aehlig:
Parameter-free polymorphic types. 3-12 - Marat M. Arslanov
, Ilnur I. Batyrshin, Roland Sh. Omanadze:
Structural properties of Q-degrees of n-c. e. sets. 13-20 - George Barmpalias, Andrew E. M. Lewis, Frank Stephan:
I classes, LR degrees and Turing degrees. 21-38 - Ulrich Berger:
A domain model characterising strong normalisation. 39-50 - Rod Downey, Noam Greenberg, Joseph S. Miller:
The upward closure of a perfect thin class. 51-58 - Harvey M. Friedman:
What is o-minimality? 59-67 - Nicola Gambino:
The associated sheaf functor theorem in algebraic set theory. 68-77 - Ivo Herzog, Sonia L'Innocente:
The nonstandard quantum plane. 78-85 - Bakhadyr Khoussainov, Frank Stephan, Yue Yang:
Computable categoricity and the Ershov hierarchy. 86-95 - Piotr Kowalski:
A note on a theorem of Ax. 96-109 - Paul B. Larson:
Martin's Maximum and definability in H(xaleph2). 110-122 - Benno van den Berg, Ieke Moerdijk:
Aspects of predicative algebraic set theory I: Exact completion. 123-159 - Wolfram Pohlers:
Ordinal analysis of non-monotone I-definable inductive definitions. 160-169 - Jan Reimann:
Effectively closed sets of measures and randomness. 170-182
Volume 156, Numbers 2-3, December 2008
- J. Robin B. Cockett, Pieter J. W. Hofstra:
Introduction to Turing categories. 183-209 - Antongiulio Fornasiero, Marcello Mamino:
Arithmetic of Dedekind cuts of ordered Abelian groups. 210-244 - Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman:
Partial automorphism semigroups. 245-258 - Sy-David Friedman, Pavel Ondrejovic:
The internal consistency of Easton's theorem. 259-269 - Justin Tatch Moore, Slawomir Solecki:
A Gdelta ideal of compact sets strictly above the nowhere dense ideal in the Tukey order. 270-273 - David W. Kueker:
Abstract elementary classes and infinitary logics. 274-286 - Pantelis E. Eleftheriou:
A semi-linear group which is not affine. 287-289 - Bodil Biering:
Cartesian closed Dialectica categories. 290-307 - Ali Enayat:
A standard model of Peano arithmetic with no conservative elementary extension. 308-318
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-04-25 05:28 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:
