Mathematical Logic Quarterly, Volume 48

Volume 48, Number 1, January 2002

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

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

Volume 48, Number S1, October 2002

Preface

Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong:
Preface: MLQ - Math. Log. Quart. Supplement 1/2002.
Electronic Edition (link) BibTeX

Original Paper

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

Volume 48, Number 3, April 2002

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

Volume 48, Number 4, November 2002

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