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, J. K. 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

Byunghan Kim, Niandong Shi:
A note on weak dividing. 51-60
Paul Corazza:
Lifting elementary embeddings j: V_lambda -> V_lambda. 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

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

Petr Cintula, George Metcalfe:
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:
Delta₁ 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

Douglas A. Cenzer, Rebecca Weber:
Preface. 529-531
George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber:
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 P_s 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

Last update Sat May 18 20:02:12 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page