default search action
Archive for Mathematical Logic, Volume 46
Volume 46, Number 1, January 2007
- Radosav Djordjevic, Nebojsa Ikodinovic
, Zarko Mijajlovic:
Completeness theorem for topological class models. 1-8 - Morteza Moniri:
Preservation theorems for bounded formulas. 9-14 - Keita Yokoyama
Complex analysis in subsystems of second order arithmetic. 15-35 - Thomas E. Forster, John Kenneth Truss:
Ramsey's theorem and König's Lemma. 37-42 - A. R. D. Mathias:
A note on the schemes of replacement and collection. 43-50
Volume 46, Number 2, February 2007
- Byunghan Kim, Niandong Shi:
A note on weak dividing. 51-60 - Paul Corazza:
Lifting elementary embeddings j: Vlambda -> Vlambda. 61-72 - Emil Jerábek
Complexity of admissible rules. 73-92 - Martin Hils
Semifree actions of free groups. 93-105 - John Allsup, Richard Kaye:
Normal subgroups of nonstandard symmetric and alternating groups. 107-121 - Pascal Michel:
Computational complexity of logical theories of one successor and another unary function. 123-148 - Douglas S. Bridges:
Constructing local optima on a compact interval. 149-154
Volume 46, Numbers 3-4, April 2007
- Arthur W. Apter:
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness. 155-163 - Haci Aktas, Naim Çagman
A type of fuzzy ring. 165-177 - Andrzej Roslanowski, Saharon Shelah
Universal forcing notions and ideals. 179-196 - Daniel W. Cunningham:
A covering lemma for K(\mathbb R). 197-221 - John Krueger:
Radin forcing and its iterations. 223-252 - Kazushige Terui:
Light affine lambda calculus and polynomial time strong normalization. 253-280 - Shunsuke Yatabe:
Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic. 281-287 - Alexander Berenstein
Hilbert spaces with generic groups of automorphisms. 289-299 - Tommaso Flaminio
NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach. 301-319 - Wei Wang, Decheng Ding:
On the definable ideal generated by the plus cupping c.e. degrees. 321-346
Volume 46, Numbers 5-6, July 2007
- Petr Cintula
Normal forms for fuzzy logics: a proof-theoretic approach. 347-363 - Michael C. Laskowski, Shirin Malekpour:
Provability in predicate product logic. 365-378 - Thomas G. McLaughlin:
Delta1 Ultrapowers are totally rigid. 379-384 - Pierluigi Minari:
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. 385-424 - Dov M. Gabbay, George Metcalfe
Fuzzy logics based on [0, 1)-continuous uninorms. 425-449 - Moti Gitik, Itay Neeman, Dima Sinapova:
A cardinal preserving extension making the set of points of countable V cofinality nonstationary. 451-456 - Assaf Rinot
Antichains in partially ordered sets of singular cofinality. 457-464 - Nobuyuki Sakamoto, Keita Yokoyama
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. 465-480 - Vincent Astier:
On some sheaves of special groups. 481-488 - Satoru Kuroda:
Generalized quantifier and a bounded arithmetic theory for LOGCFL. 489-516 - Predrag Tanovic
Theories with constants and three countable models. 517-527
Volume 46, Number 7-8, May 2008
- Douglas A. Cenzer, Rebecca Weber:
Preface. 529-531 - George Barmpalias
Algorithmic randomness of continuous functions. 533-546 - Vasco Brattka
Borel complexity and computability of the Hahn-Banach Theorem. 547-564 - Paul Brodhead, Douglas A. Cenzer:
Effectively closed sets and enumerations. 565-582 - Josef Berger, Douglas S. Bridges:
The anti-Specker property, a Heine-Borel property, and uniform continuity. 583-592 - Manuel Lameiras Campagnolo, Kerry Ojakian:
The elementary computable functions over the real numbers: applying two new techniques. 593-627 - Douglas A. Cenzer, Peter G. Hinman:
Degrees of difficulty of generalized r.e. separating classes. 629-647 - Joshua A. Cole:
Embedding FD(omega) into Ps densely. 649-664 - Johanna N. Y. Franklin:
Schnorr trivial reals: a construction. 665-678 - Iraj Kalantari, Larry Welch:
On degree-preserving homeomorphisms between trees in computable topology. 679-693
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-19 20:46 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: