default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 157
Volume 157, Number 1, January 2009
- David Asperó, Sy D. Friedman:
Large cardinals and locally defined well-orders of the universe. 1-15 - Pavel Pudlák:
Quantum deduction rules. 16-29 - Pawel M. Idziak, Keith A. Kearnes
, Emil W. Kiss, Matthew Valeriote:
Definable principal congruences and solvability. 30-49 - Hannes Diener, Iris Loeb:
Sequences of real functions on [0, 1] in constructive reverse mathematics. 50-61
Volume 157, Numbers 2-3, February 2009
- Matthias Baaz:
Foreword. 63 - Jeremy Avigad:
The metamathematics of ergodic theory. 64-76 - Andrey Bovykin:
Exact unprovability results for compound well-quasi-ordered combinatorial classes. 77-84 - Vasco Brattka:
A computable version of Banach's Inverse Mapping Theorem. 85-96 - Thierry Coquand:
Space of valuations. 97-109 - David Fernández-Duque:
Non-deterministic semantics for dynamic topological logic. 110-121 - Fernando Ferreira:
Injecting uniformities into Peano arithmetic. 122-129 - Andreas Fischer:
o-minimal analytic separation of sets in dimension 2. 130-138 - Ekaterina B. Fokina:
Index sets for some classes of structures. 139-147 - Stefan Geschke:
Low-distortion embeddings of infinite metric spaces into the real line. 148-160 - James Hirschorn:
A strong antidiamond principle compatible with CH. 161-193 - Pavel Hrubes:
On lengths of proofs in non-classical logics. 194-205 - Peter Koellner:
On reflection principles. 206-219 - M. E. Malliaris:
Realization of phi-types and Keisler's order. 220-224 - Yuri V. Matiyasevich:
Existential arithmetization of Diophantine equations. 225-233 - Kentaro Sato:
The strength of extensionality I - weak weak set theories with infinity. 234-268 - Henry Towsner:
Ordinal analysis by transformations. 269-280 - Andreas Weiermann:
Phase transitions for Gödel incompleteness. 281-296
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-11-15 19:21 CET 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:
