Mathematical Logic Quarterly, Volume 49

Volume 49, Number 1, January 2003

Klaus Weihrauch:
Computational complexity on computable metric spaces. 3-21
Electronic Edition (link) BibTeX
Douglas A. Cenzer, Jeffrey B. Remmel:
Index sets for omega-languages. 22-33
Electronic Edition (link) BibTeX
Armin Hemmerling:
Approximate decidability in euclidean spaces. 34-56
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 II. 57-71
Electronic Edition (link) BibTeX
Jafar S. Eivazloo, Mojtaba Moniri:
Expansions of ordered fields without definable gaps. 72-82
Electronic Edition (link) BibTeX
Dev Kumar Roy:
The shortest definition of a number in Peano arithmetic. 83-86
Electronic Edition (link) BibTeX
Seyed Mohammad Bagheri:
On translations of complete first order theories. 87-91
Electronic Edition (link) BibTeX
George Weaver, Benjamin George:
The Fraenkel-Carnap question for Dedekind algebras. 92-96
Electronic Edition (link) BibTeX
Olivier Esser:
On the axiom of extensionality in the positive set theory. 97-100
Electronic Edition (link) BibTeX
Teresa Bigorajska:
Strongly maximal subgroups determined by elements in interstices. 101-108
Electronic Edition (link) BibTeX

Volume 49, Number 2, March 2003

Andreas Blass, Victor Pambuccian:
Sperner spaces and first-order logic. 111-114
Electronic Edition (link) BibTeX
Rami P. Grossberg, Alexei Kolesnikov, Ivan Tomasic, Monica Van Dieren:
The equality S1 = D = R. 115-128
Electronic Edition (link) BibTeX
Wolfram Menzel, Frank Stephan:
Topological aspects of numberings. 129-149
Electronic Edition (link) BibTeX
Stefano Baratella, Siu-Ah Ng:
Consequences of neocompact quantifier elimination. 150-162
Electronic Edition (link) BibTeX
George Barmpalias:
A transfinite hierarchy of reals. 163-172
Electronic Edition (link) BibTeX
Lorenz Halbeisen:
Making doughnuts of Cohen reals. 173-178
Electronic Edition (link) BibTeX
Kyriakos Keremedis:
The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces. 179-186
Electronic Edition (link) BibTeX
Nitta Takashi, Okada Tomoko, Athanassios Tzouvaras:
Classification of non-well-founded sets and an application. 187-200
Electronic Edition (link) BibTeX
Norihiro Kamide:
Classical linear logics with mix separation principle. 201-209
Electronic Edition (link) BibTeX
Mihai Prunescu:
P != NP for all infinite Boolean algebras. 210-213
Electronic Edition (link) BibTeX
Katsumasa Ishii:
A note on the first incompleteness theorem. 214-216
Electronic Edition (link) BibTeX

Volume 49, Number 3, May 2003

Timothy McNicholl:
Effective embeddings into strong degree structures. 219-229
Electronic Edition (link) BibTeX
Rosalie Iemhoff:
Preservativity logic: An analogue of interpretability logic for constructive theories. 230-249
Electronic Edition (link) BibTeX
Morteza Moniri:
Independence results for weak systems of intuitionistic arithmetic. 250-254
Electronic Edition (link) BibTeX
Luminita Vîta:
Proximal and uniform convergence on apartness spaces. 255-259
Electronic Edition (link) BibTeX
Regina Aragón:
Some Boolean algebras with finitely many distinguished ideals II. 260-276
Electronic Edition (link) BibTeX
Laurent Vanderputten:
A nonstandard density theorem for weak topologies on Banach and Bochner spaces. 277-283
Electronic Edition (link) BibTeX
Athanossios Tzouvaras:
Positive set-operators of low complexity. 284-292
Electronic Edition (link) BibTeX
Gonçalo Gutierres:
Sequential topological conditions in in the absence of the axiom of choice. 293-298
Electronic Edition (link) BibTeX
Vladimir Kanovei, Michael Reeken:
A theorem on ROD-hypersmooth equivalence relations in the Solovay model. 299-304
Electronic Edition (link) BibTeX
Satoru Yoshida:
The Banach-Steinhaus theorem for the space D(R) in constructive analysis. 305-315
Electronic Edition (link) BibTeX
Saeed Salehi:
Provably total functions of Basic Arithmetic. 316-322
Electronic Edition (link) BibTeX
Horst Herrlich:
The axiom of choice holds iff maximal closed filters exist. 323-324
Electronic Edition (link) BibTeX

Volume 49, Number 4, July 2003

Stephen Binns:
A splitting theorem for the Medvedev and Muchnik lattices. 327-335
Electronic Edition (link) BibTeX
Francisco M. García Olmedo, Antonio J. Rodríguez Salas:
Negation and BCK-algebras. 336-346
Electronic Edition (link) BibTeX
George Voutsadakis:
Categorical abstract algebraic logic: The criterion for deductive equivalence. 347-352
Electronic Edition (link) BibTeX
Matthias Galota, Sven Kosub, Heribert Vollmer:
Generic separations and leaf languages. 353-362
Electronic Edition (link) BibTeX
Masahiko Murakami, Akito Tsuboi:
Expanding the additive reduct of a model of Peano arithmetic. 363-368
Electronic Edition (link) BibTeX
Kyriakos Kermedis:
Some weak forms of the Baire category theorem. 369-374
Electronic Edition (link) BibTeX
Arthur W. Apter:
Characterizing strong compactness via strongness. 375-384
Electronic Edition (link) BibTeX
Troy Lee:
Arithmetical definability over finite structures. 385-392
Electronic Edition (link) BibTeX
Stefano Leonesi, Carlo Toffalori:
omega-categorical weakly o-minimal expansions of Boolean lattices. 394-400
Electronic Edition (link) BibTeX
Ryo Kashima:
On semilattice relevant logics. 401-414
Electronic Edition (link) BibTeX
Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic:
A probabilistic extension of intuitionistic logic. 415-424
Electronic Edition (link) BibTeX
Morteza Moniri:
On two questions about feasibly constructive arithmetic. 425-427
Electronic Edition (link) BibTeX
Armin Hemmerling:
The discrete parts of approximately decidable sets in Euclidean spaces. 428-432
Electronic Edition (link) BibTeX

Volume 49, Number 5, September 2003

Jan von Plato:
Translations from natural deduction to sequent calculus. 435-443
Electronic Edition (link) BibTeX
Kyriakos Keremedis, Eleftherios Tachtsis:
Choice principles for special subsets of the real line. 444-454
Electronic Edition (link) BibTeX
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin:
Metric spaces and the axiom of choice. 455-466
Electronic Edition (link) BibTeX
Wojciech Buszkowski:
Sequent systems for compact bilinear logic. 467-474
Electronic Edition (link) BibTeX
Enrique Casanovas:
Some remarks on indiscernible sequences. 475-478
Electronic Edition (link) BibTeX
Seyed Mohammad Bagheri, Morteza Moniri:
Some results on Kripke models over an arbitrary fixed frame. 479-484
Electronic Edition (link) BibTeX
Manuel Lerman, Richard Watnick:
Computable choice functions for computable linear orderings. 485-510
Electronic Edition (link) BibTeX
Michael Rathjen, Robert S. Lubarsky:
On the regular extension axiom and its variants. 511-518
Electronic Edition (link) BibTeX
Norihiro Kamide:
A note on dual-intuitionistic logic. 519-524
Electronic Edition (link) BibTeX
Katsumasa Ishii:
New sequent calculi for Visser's Formal Propositional Logic. 525-535
Electronic Edition (link) BibTeX
Joel David Hamkins, Philip D. Welch:
P^f != NP^f for almost all f. 536-540
Electronic Edition (link) BibTeX

Volume 49, Number 6, November 2003

Makoto Takahashi, Yasuo Yoshinobu:
pi-short Boolean algebras. 543-549
Electronic Edition (link) BibTeX
Luminita Vîta:
On proximal convergence in uniform spaces. 550-552
Electronic Edition (link) BibTeX
Dengfeng Li, Angsheng Li:
A minimal pair joining to a plus cupping Turing degree. 553-566
Electronic Edition (link) BibTeX
Valeriy Bulitko, Vadim Bulitko:
On existence of complete sets for bounded reducibilities. 567-575
Electronic Edition (link) BibTeX
Tapani Hyttinen:
Finiteness of U-rank implies simplicity in homogeneous structures. 576-578
Electronic Edition (link) BibTeX
Kosta Dosen, Zoran Petric:
A Brauerian representation of split preorders. 579-586
Electronic Edition (link) BibTeX
Arthur W. Apter:
Failures of GCH and the level by level equivalence between strong compactness and supercompactness. 587-597
Electronic Edition (link) BibTeX
Kam-Chau Wong:
A fixed point theorem for o-minimal structures. 598-602
Electronic Edition (link) BibTeX
Walker M. White:
On the complexity of categoricity in computable structures. 603-614
Electronic Edition (link) BibTeX
Pierre Matet:
A partition property of a mixed type for P_kappa(lambda). 615-628
Electronic Edition (link) BibTeX
Franco Montagna, Lorenzo Sacchetti:
Kripke-style semantics for many-valued logics. 629-641
Electronic Edition (link) BibTeX