default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 136
Volume 136, Numbers 1-2, October 2005
- Arnold Beckmann, Jeremy Avigad
, Georg Moser:
Preface. 1-2 - Toshiyasu Arai:
Ideas in the epsilon substitution method for II 1 0-FIX. 3-21 - Matthias Baaz:
Controlling witnesses. 22-29 - Arnold Beckmann, Samuel R. Buss:
Separation results for the size of constant-depth propositional proofs. 30-55 - Lev D. Beklemishev, Albert Visser:
On the limit existence principles in elementary arithmetic and Sigma n 0-consequences of theories. 56-74 - Wilfried Buchholz:
A term calculus for (co-)recursive definitions on streamlike data structures. 75-90 - Andrea Cantini:
Remarks on applicative theories. 91-115 - Gerhard Jäger, Thomas Strahm:
Reflections on reflections in explicit mathematics. 116-133 - Makoto Tatsuta, Grigori Mints:
A simple proof of second-order strong normalization with permutative conversions. 134-155 - Michael Rathjen:
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory. 156-174 - Stanley S. Wainer, Richard S. Williams:
Inductive definitions over a predicative arithmetic. 175-188 - Andreas Weiermann:
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. 189-218
Volume 136, Number 3, November 2005
- Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon:
Enumerations in computable structure theory. 219-246 - Neil Thapen:
Structures interpretable in models of bounded arithmetic. 247-266 - Alexandra Shlapentokh:
First-order definitions of rational functions and s-integers over holomorphy rings of algebraic functions of characteristic 0. 267-283 - Salma Kuhlmann, Saharon Shelah:
k-bounded exponential-logarithmic power series fields. 284-296 - Richard Coles, Rodney G. Downey, Carl G. Jockusch Jr., Geoffrey LaForte:
Completing pseudojump operators. 297-333
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-12-27 21:15 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:
