default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 160
Volume 160, Number 1, July 2009
- Richard Garner
:
On the strength of dependent products in the type theory of Martin-Löf. 1-12 - Thomas F. Kent:
The structure of the s-degrees contained within a single e-degree. 13-21 - James Cummings, Matthew Foreman, Ernest Schimmerling:
Organic and tight. 22-32 - Gerhard Jäger:
Full operational set theory with unbounded existential quantification and power set. 33-52 - Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera:
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. 53-81 - Kai Brünnler, Thomas Studer:
Syntactic cut-elimination for common knowledge. 82-95 - Philip Kremer:
Dynamic topological S5. 96-116 - Milos S. Kurilic, Boris Sobot:
A game on Boolean algebras describing the collapse of the continuum. 117-126 - Vincent Astier:
Erratum to: "Some model-theoretic results in the algebraic theory of quadratic forms" [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223]. 127-128
Volume 160, Number 2, August 2009
- Albert Visser:
The predicative Frege hierarchy. 129-153 - Vassilios Gregoriades:
A dichotomy result for a pointwise summable sequence of operators. 154-162 - Olivier Finkel, Dominique Lecomte:
Classical and effective descriptive complexities of omega-powers. 163-191 - Qi Feng:
A new characterization of supercompactness and applications. 192-213 - Adam R. Day:
On the computational power of random strings. 214-228
Volume 160, Number 3, September 2009
- Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
Preface. 229-230 - Bahareh Afshari, Michael Rathjen:
Reverse mathematics and well-ordering principles: A pilot study. 231-237 - Laurent Bienvenu, Wolfgang Merkle:
Constructive equivalence relations on computable probability measures. 238-254 - José Félix Costa, Bruno Loff, Jerzy Mycka:
A foundation for real recursive function theory. 255-288 - Hristo Ganchev, Ivan N. Soskov:
The jump operator on the omega-enumeration degrees. 289-301 - Joel David Hamkins, Russell G. Miller:
Post's Problem for ordinal register machines: An explicit approach. 302-309 - Peter Koepke, Benjamin Seyfferth:
Ordinal machines and admissible recursion theory. 310-318 - Maria Emilia Maietti:
A minimalist two-level foundation for constructive mathematics. 319-354 - Alberto Marcone, Antonio Montalbán:
On Fraïssé's conjecture for linear orders of finite Hausdorff rank. 355-367 - Robert I. Soare:
Turing oracle machines, online computing, and three displacements in computability theory. 368-399 - Mariya Ivanova Soskova:
A non-splitting theorem in the enumeration degrees. 400-418
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-08 01:19 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:
