Mathematical Logic Quarterly, Volume 50

Volume 50, Number 1, January 2004

• Ernest Schimmerling, Boban Velickovic:
  Collapsing functions. 3-8
  
• Isabel Oitavem:
  Characterizing NC with tier 0 pointers. 9-17
  
• Jakob Kellner, Hans Ploss:
  F-products and nonstandard hulls for semigroups. 18-28
  
• Chaz Schlindwein:
  A short proof of the preservation of the omega^omega-bounding property. 29-32
  
• Steve Jackson, Russell May:
  The strong partition relation on omega₁ revisited. 33-40
  
• Stefano Berardi:
  A generalization of a conservativity theorem for classical versus intuitionistic arithmetic. 41-46
  
• Jeffry L. Hirst:
  Minima of initial segments of infinite sequences of reals. 47-50
  
• Arthur W. Apter:
  Level by level equivalence and strong compactness. 51-64
  
• Majid Alizadeh, Mohammad Ardeshir:
  On the linear Lindenbaum algebra of Basic Propositional Logic. 65-70
  
• Alexandre Ivanov, Roman Kossak:
  Automorphism group actions on trees. 71-76
  
• Tapani Hyttinen:
  Finitely generated submodels of an uncountably categorical homogeneous structure. 77-98
  
• Matteo Viale:
  The cumulative hierarchy and the constructible universe of ZFA. 99-103
  
• Franco Montagna, Lorenzo Sacchetti:
  Corrigendum to "Kripke-style semantics for many-valued logics". 104-107
  

Volume 50, Number 2, March 2004

• Roberto Cignoli, Antoni Torrens:
  Glivenko like theorems in natural expansions of BCK-logic. 111-125
  
• Enrique Casanovas, Rafel Farré:
  Weak forms of elimination of imaginaries. 126-140
  
• Kyriakos Keremedis:
  Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces. 141-151
  
• Virginie Mazoyer:
  Polygones. 152-168
  
• Marcin Mostowski, Anna Wasilewska:
  Arithmetic of divisibility in finite models. 169-174
  
• Gurgen Asatryan:
  A solution to identities problem in 2-element HSI-algebras. 175-178
  
• Wafik Boulos Lotfallah:
  An Ehrenfeucht-Fraïssé class game. 179-188
  
• Guohua Wu:
  Quasi-complements of the cappable degrees. 189-201
  
• Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
  A secondary semantics for Second Order Intuitionistic Propositional Logic. 202-210
  
• György Serény:
  Boolos-style proofs of limitative theorems. 211-216
  

Volume 50, Number 3, May 2004

• Stephen M. Walk:
  Lattice embeddings and array noncomputable degrees. 219-235
  
• Jesper Carlström:
  EM + Ext- + ACint is equivalent to ACext. 236-240
  
• Stefano Leonesi, Carlo Toffalori:
  On the Boolean algebras of definable sets in weakly o-minimal theories. 241-248
  
• Stefano Baratella, Andrea Masini:
  An infinitary variant of Metric Temporal Logic over dense time domains. 249-257
  
• Gerhard Jäger, Dieter Probst:
  Variation on a theme of Schütte. 258-264
  
• Andrei Popescu:
  A general approach to fuzzy concepts. 265-280
  
• K. Subramani:
  On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries. 281-292
  
• Douglas S. Bridges:
  Constructive complements of unions of two closed sets. 293-294
  
• Emil Jerábek:
  A note on Grzegorczyk's logic. 295-296
  
• Bernhard König, Yasuo Yoshinobu:
  Fragments of Martin's Maximum in generic extensions. 297-302
  
• Félix Bou, Josep Maria Font, José Luis García-Lapresta:
  On weakening the Deduction Theorem and strengthening Modus Ponens. 303-324
  

Volume 50, Numbers 4-5, September 2004

• Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong:
  Preface: MLQ - Math. Log. Quart. 4-5/2004. 327-328
  
• Douglas Cenzer, Jeffrey B. Remmel:
  Index sets for computable differential equations. 329-344
  
• Rod Downey, Guohua Wu, Xizhong Zheng:
  Degrees of d. c. e. reals. 345-350
  
• Andrej Bauer, Alex Simpson:
  Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. 351-369
  
• George Barmpalias:
  Approximation representations for reals and their wtt-degrees. 370-380
  
• Iraj Kalantari, Larry Welch:
  Density and Baire category in recursive topology. 381-391
  
• Martin Ziegler:
  Computable operators on regular sets. 392-404
  
• Vladik Kreinovich, Luc Longpré:
  Fast quantum algorithms for handling probabilistic and interval uncertainty. 405-416
  
• Daren Kunkle:
  Type-2 computability on spaces of integrable functions. 417-430
  
• Xizhong Zheng, Robert Rettinger:
  Weak computability and representation of reals. 431-442
  
• Matthias Schröder:
  Spaces allowing Type-2 Complexity Theory revisited. 443-459
  
• Josef M. Breutzmann, David W. Juedes, Jack H. Lutz:
  Baire category and nowhere differentiability for feasible real functions. 460-472
  
• Daniel Silva Graça:
  Some recent developments on Shannon's General Purpose Analog Computer. 473-485
  
• Fredrik Dahlgren:
  Computability and continuity in metric partial algebras equipped with computability structures. 486-500
  
• Douglas S. Bridges:
  First steps in constructive game theory. 501-506
  
• Armin Hemmerling:
  Characterizations of the class Delta^ta₂ over Euclidean spaces. 507-519
  
• Dimiter Skordev:
  Some subrecursive versions of Grzegorczyk's Uniformity Theorem. 520-524
  

Volume 50, Number 6, October 2004

• Ralf Schindler:
  Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum. 527-532
  
• James H. Schmerl:
  Substructure lattices and almost minimal end extensions of models of Peano arithmetic. 533-539
  
• Hajime Ishihara, Peter Schuster:
  Compactness under constructive scrutiny. 540-550
  
• Arthur W. Chou, Ker-I Ko:
  On the complexity of finding paths in a two-dimensional domain I: Shortest paths. 551-572
  
• Klaus Frovin Jørgensen:
  Functional interpretation and the existence property. 573-576
  
• Jirí Hanika:
  Herbrandizing search problems in Bounded Arithmetic. 577-586
  
• Nobuyuki Sakamoto, Takeshi Yamazaki:
  Uniform versions of some axioms of second order arithmetic. 587-593
  
• Milos S. Kurilic:
  Unsupported Boolean algebras and forcing. 594-602
  
• Gábor Sági, János Gerlits:
  Ultratopologies. 603-612
  
• Rod Downey, Evan J. Griffiths, Geoffrey LaForte:
  On Schnorr and computable randomness, martingales, and machines. 613-627
  
• Marat M. Arslanov, S. Barry Cooper, Angsheng Li:
  There is no low maximal d. c. e. degree - Corrigendum. 628-636
  

• Morteza Moniri:
  Corrigendum to "Weak Arithmetics and Kripke Models". 637-638
  

Last update Sat May 18 20:46:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page