Mathematical Logic Quarterly, Volume 48

Volume 48, Number 1, January 2002

• Jeremy Avigad:
  Update Procedures and the 1-Consistency of Arithmetic. 3-13
  
• Lorenzo Sacchetti:
  Incompleteness and Fixed Points. 15-28
  
• Marcus Kracht:
  Invariant Logics. 29-50
  
• Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
  Investigations on Fragments of First Order Branching Temporal Logic. 51-62
  
• Wojciech Buszkowski:
  Finite Models of Some Substructural Logics. 63-72
  
• Wolfgang Degen:
  Factors of Functions, AC and Recursive Analogues. 73-86
  
• Kentaro Kikuchi:
  Dual-Context Sequent Calculus and Strict Implication. 87-92
  
• Stefano Mazzanti:
  Plain Bases for Classes of Primitive Recursive Functions. 93-104
  
• Cezary Cieliski:
  Heterologicality and Incompleteness. 105-110
  
• Fred Richman:
  Omniscience Principles and Functions of Bounded Variation. 111-116
  
• Dag Normann, Christian Rordam:
  The Computational Power of Mu^omega. 117-124
  
• Toshiyasu Arai:
  On the Slowly Well Orderedness of epsilon₀. 125-130
  
• Richard A. Shore, Yue Yang:
  A nonlow₂ R. E. Degree with the Extension of Embeddings Properties of a low₂ Degree. 131-146
  
• Saverio Cittadini, Carlo Toffalori:
  Comparing First Order Theories of Modules over Group Rings. 147-156
  
• Morteza Moniri:
  Weak Arithmetics and Kripke Models. 157-160
  

Volume 48, Number 2, February 2002

• Francisco M. García Olmedo, Antonio J. Rodríguez Salas:
  Algebraization of the Three-valued BCK-logic. 163-178
  
• Silvio Valentini:
  Extensionality Versus Constructivity. 179-187
  
• Yi Zhang:
  Adjoining Almost Disjoint Permutations. 189-193
  
• Christian Rüede, Thomas Strahm:
  Intuitionistic Fixed Point Theories for Strictly Positive Operators. 195-202
  
• Annalisa Marcja, Carlo Toffalori:
  Decidability for Z₂ G-lattices when G Extends the Noncyclic Group of Order 4. 203-212
  
• Olivier Esser, Roland Hinnion:
  Tree-Properties for Ordered Sets. 213-219
  
• Chris Pollett, Randall Pruim:
  Strengths and Weaknesses of LH Arithmetic. 221-243
  
• Alex M. McAllister:
  Bounded Scott Set Saturation. 245-259
  
• Gábor Sági:
  Ultraproducts and Higher Order Formulas. 261-275
  
• Gurgen Asatryan:
  Arithmetical Identities in a 2-element Model of Tarski's System. 277-282
  
• James H. Schmerl:
  Moving Intersticial Gaps. 283-296
  
• Erik Palmgren:
  An Intuitionistic Axiomatisation of Real Closed Fields. 297-299
  
• Risto Kaila:
  Convergence Laws for Very Sparse Random Structures with Generalized Quantifiers. 301-320
  

Volume 48, Number S1, October 2002

• Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong:
  Preface: MLQ - Math. Log. Quart. Supplement 1/2002.
  

• Andrej Bauer:
  A Relationship between Equilogical Spaces and Type Two Effectivity. 1-15
  
• Douglas S. Bridges, Peter Schuster, Luminita Vîta:
  Apartness, Topology, and Uniformity: a Constructive View. 16-28
  
• Rodney G. Downey, Sebastiaan Terwijn:
  Computably Enumerable Reals and Uniformly Presentable Ideals. 29-40
  
• Martín Hötzel Escardó, Thomas Streicher:
  In Domain Realizability, not all Functionals on C[-1, 1] are Continuous. 41-44
  
• Marco Gori, Klaus Meer:
  A Step towards a Complexity Theory for Analog Systems. 45-58
  
• Ulrich Kohlenbach:
  On Weak Markov's Principle. 59-65
  
• Paulo Oliva:
  On the Computational Complexity of Best L₁-approximation. 66-77
  
• Matthias Schröder:
  Effectivity in Spaces with Admissible Multirepresentations. 78-90
  
• Dimiter Skordev:
  Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers. 91-106
  
• Bas Spitters:
  Located Operators. 107-122
  
• Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori:
  Metrization of the Uniform Space and Effective Convergence. 123-130
  
• Xizhong Zheng:
  Recursive Approximability of Real Numbers. 131-156
  
• Martin Ziegler:
  Computability on Regular Subsets of Euclidean Space. 157-181
  

Volume 48, Number 3, April 2002

• Thomas G. McLaughlin:
  Combinatorial Isols and the Arithmetic of Dekker Semirings. 323-342
  
• Tarek Sayed Ahmed:
  A Modeltheoretic Solution to a Problem of Tarski. 343-355
  
• Karim Nour:
  Non Deterministic Classical Logic: The lambda-mu⁺⁺-calculus. 357-366
  
• Valeriy K. Bulitko:
  Post's Problem for Reducibilities of Bounded Complexity. 367-373
  
• Russell Impagliazzo, Jan Krajícek:
  A Note on Conservativity Relations among Bounded Arithmetic Theories. 375-377
  
• Laurent Vanderputten:
  Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions. 379-390
  
• Mohammad Ardeshir, Bardyaa Hesaam:
  Every Rooted Narrow Tree Kripke Model of HA is Locally PA. 391-395
  
• Tapani Hyttinen:
  A Remark on Weakly Compact Cardinals. 397-402
  
• Hasan Dalgin, Labib Haddad, Mehmet Terziler:
  On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. 403-412
  
• Yasuo Kanai:
  On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory. 413-426
  
• Ramon Jansana:
  Full Models for Positive Modal Logic. 427-445
  
• Andreas Spillner, Hans-Dietrich Hecker:
  Minimizing the Size of Vertexlights in Simple Polygons. 447-458
  
• Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl:
  Monotonically Computable Real Numbers. 459-479
  

Volume 48, Number 4, November 2002

• Saverio Cittadini, Carlo Toffalori:
  Comparing First Order Theories of Modules over Group Rings II: Decidability. 483-498
  
• Arthur W. Apter:
  Strong Cardinals can be Fully Laver Indestructible. 499-507
  
• Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin:
  Products of Compact Spaces and the Axiom of Choice. 508-516
  
• Heike Mildenberger:
  No Borel Connections for the Unsplitting Relations. 517-521
  
• Victor Pambuccian:
  On Definitions in an Infinitary Language. 522-524
  
• Manfred Droste, Dugald Macpherson, Alan Mekler:
  Uncountable Homogeneous Partial Orders. 525-532
  
• Tapani Hyttinen:
  Canonical Finite Diagrams and Quantifier Elimination. 533-554
  
• Juan Carlos Martínez:
  Attainment of Tightness in Boolean Spaces. 555-558
  
• Richard D. Benham:
  A Nonstandard Compactness Criterion. 559-562
  
• Vilém Novák:
  Joint Consistency of Fuzzy Theories. 563-573
  
• George Davie:
  Kolmogorov Complexity and Noncomputability. 574-580
  
• Joan Gispert:
  Universal Classes of MV-chains with Applications to Many-valued Logics. 581-601
  
• Jan Krajícek:
  Interpolation and Approximate Semantic Derivations. 602-606
  
• Hisato Muraki:
  Dependent Choices and Anti-Foundation. 607-623
  
• Nick Bezhanishvili:
  Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic. 624-636
  

Last update Tue Feb 14 04:21:27 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page