Mathematical Logic Quarterly, Volume 47

Volume 47, Number 1, January 2001

• S. Barry Cooper:
  On a Conjecture of Kleene and Post. 3-33
  Electronic Edition (link) BibTeX
• Arthur W. Apter:
  Some Remarks on Normal Measures and Measurable Cardinals. 35-44
  Electronic Edition (link) BibTeX
• Akito Tsuboi:
  Random Amalgamation of Simple Theories. 45-50
  Electronic Edition (link) BibTeX
• Xizhong Zheng, Klaus Weihrauch:
  The Arithmetical Hierarchy of Real Numbers. 51-65
  Electronic Edition (link) BibTeX
• Armin Hemmerling:
  On P Versus NP for Parameter-Free Programs Over Algebraic Structures. 67-92
  Electronic Edition (link) BibTeX
• William Gay, Bing-Yu Zhang, Ning Zhong:
  Computability of Solutions of the Korteweg-de Vries Equation. 93-110
  Electronic Edition (link) BibTeX
• Radim Belohlávek:
  Lattices of Fixed Points of Fuzzy Galois Connections. 111-116
  Electronic Edition (link) BibTeX
• Kyriakos Keremedis, Eleftherios Tachtsis:
  Compact Metric Spaces and Weak Forms of the Axiom of Choice. 117-128
  Electronic Edition (link) BibTeX
• Victor Pambuccian:
  Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry. 129-136
  Electronic Edition (link) BibTeX
• Kosta Dosen, Zoran Petric:
  The Maximality of Cartesian Categories. 137-144
  Electronic Edition (link) BibTeX

Volume 47, Number 2, May 2001

• Anthony Bonato:
  Metrically Universal Generic Structures in Free Amalgamation Classes. 147-160
  Electronic Edition (link) BibTeX
• Amy Gale, Rodney G. Downey:
  On Genericity and Ershov's Hierarchy. 161-182
  Electronic Edition (link) BibTeX
• Satoru Kuroda:
  An Independence Result on Weak Second Order Bounded Arithmetic. 183-186
  Electronic Edition (link) BibTeX
• Yasusi Hasimoto:
  Heyting Algebras with Operators. 187-196
  Electronic Edition (link) BibTeX
• Wolfgang Degen:
  Rigid Unary Functions and the Axiom of Choice. 197-204
  Electronic Edition (link) BibTeX
• Kyriakos Keremedis:
  The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice. 205-210
  Electronic Edition (link) BibTeX
• Marcel Erné:
  Constructive Order Theory. 211-222
  Electronic Edition (link) BibTeX
• Stefano Leonesi, Carlo Toffalori:
  Weakly o-Minimal Expansions of Boolean Algebras. 223-238
  Electronic Edition (link) BibTeX
• Giacomo Bonanno:
  Prediction in Branching Time Logic. 239-247
  Electronic Edition (link) BibTeX
• Wolfgang Merkle, Yongge Wang:
  Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities. 249-269
  Electronic Edition (link) BibTeX
• Joel David Hamkins, Daniel Evan Seabold:
  Infinite Time Turing Machines With Only One Tape. 271-287
  Electronic Edition (link) BibTeX

Volume 47, Number 3, August 2001

• Heike Mildenberger:
  The Strengths of Some Violations of Covering. 291-298
  Electronic Edition (link) BibTeX
• Douglas S. Bridges, Robin Havea:
  A Constructive Version of the Spectral Mapping Theorem. 299-304
  Electronic Edition (link) BibTeX
• Paola D'Aquino:
  Quotient Fields of a Model of I-Delta₀ + Omega₁. 305-314
  Electronic Edition (link) BibTeX
• Dumitru Daniel Dragulici, George Georgescu:
  Algebraic Logic for Rational Pavelka Predicate Calculus. 315-326
  Electronic Edition (link) BibTeX
• Yoshihito Tanaka:
  Cut-elimination Theorems for Some Infinitary Modal Logics. 327-339
  Electronic Edition (link) BibTeX
• Yutaka Miyazaki:
  Kripke-style Semantics of Orthomodular Logics. 341-362
  Electronic Edition (link) BibTeX
• Wilfried Buchholz:
  Finitary Treatment of Operator Controlled Derivations. 363-396
  Electronic Edition (link) BibTeX
• Andreas Weiermann:
  Gamma₀ May Be Minimal Subrecursively Inaccessible. 397-408
  Electronic Edition (link) BibTeX
• Ivar Rummelhoff:
  Normal Domain Representations of Topological Spaces. 409-412
  Electronic Edition (link) BibTeX
• Kyriakos Keremedis, Eleftherios Tachtsis:
  Some Weak Forms of the Axiom of Choice Restricted to the Real Line. 413-422
  Electronic Edition (link) BibTeX
• Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley, Eleftherios Tachtsis:
  Non-constructive Properties of the Real Numbers. 423-431
  Electronic Edition (link) BibTeX

Volume 47, Number 4, November 2001

• Michael Rathjen:
  Kripke-Platek Set Theory and the Anti-Foundation Axiom. 435-440
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov:
  Construction of an Explicit Basis for Rules Admissible in Modal System S4. 441-446
  Electronic Edition (link) BibTeX
• Peter Jipsen, Alexander Pinus, Henry Rose:
  Rudin-Keisler Posets of Complete Boolean Algebras. 447-454
  Electronic Edition (link) BibTeX
• Ulrich Kohlenbach:
  Intuitionistic Choice and Restricted Classical Logic. 455-460
  Electronic Edition (link) BibTeX
• Albert Atserias, Nicola Galesi, Ricard Gavaldà:
  Monotone Proofs of the Pigeon Hole Principle. 461-474
  Electronic Edition (link) BibTeX
• Victor Pambuccian:
  Constructive Axiomatization of Plane Hyperbolic Geometry. 475-488
  Electronic Edition (link) BibTeX
• James H. Schmerl:
  Closed Normal Subgroups. 489-492
  Electronic Edition (link) BibTeX
• Ménard Bourgade:
  Séparations et transferts dans la hi?rarchie polynomiale des groupes abéliens infinis. 493-502
  Electronic Edition (link) BibTeX
• Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  Some Results on L-Delta-^- n+1. 503-512
  Electronic Edition (link) BibTeX
• Marcin Mostowski:
  On Representing Concepts in Finite Models. 513-523
  Electronic Edition (link) BibTeX
• Guohua Wu:
  Isolation and the Jump Operator. 525-534
  Electronic Edition (link) BibTeX
• Douglas S. Bridges, Luminita Vîta:
  Characterising Near Continuity Constructively. 535-538
  Electronic Edition (link) BibTeX
• Olivier Esser, Roland Hinnion:
  Combinatorial Criteria for Ramifiable Ordered Sets. 539-555
  Electronic Edition (link) BibTeX
• Mihai Prunescu:
  Non-effective Quantifier Elimination. 557-561
  Electronic Edition (link) BibTeX
• Arthur W. Apter, Joel David Hamkins:
  Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata. 563-571
  Electronic Edition (link) BibTeX