Archive for Mathematical Logic, Volume 43

Volume 43, Number 1, January 2004

Ingo Lepper:
Simply terminating rewrite systems with long derivations. 1-18
Electronic Edition (link) BibTeX
Jouko A. Väänänen, Boban Velickovic:
Games played on partial isomorphisms. 19-30
Electronic Edition (link) BibTeX
Saharon Shelah:
On nice equivalence relations on ?2. 31-64
Electronic Edition (link) BibTeX
Harold Simmons:
A comparison of two systems of ordinal notations. 65-84
Electronic Edition (link) BibTeX
Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
On potential isomorphism and non-structure. 85-120
Electronic Edition (link) BibTeX
Matthew B. Giorgi:
The computably enumerable degrees are locally non-cappable. 121-139
Electronic Edition (link) BibTeX

Adriana Galli, Renato A. Lewin, Marta Sagastume:
The logic of equilibrium and abelian lattice ordered groups. 141-158
Electronic Edition (link) BibTeX
Pierluigi Minari:
Analytic combinatory calculi and the elimination of transitivity. 159-192
Electronic Edition (link) BibTeX
George Kafkoulis:
Coding lemmata in L. 193-214
Electronic Edition (link) BibTeX
Wim Veldman:
An intuitionistic proof of Kruskal's theorem. 215-264
Electronic Edition (link) BibTeX
Alfred Dolich:
Weak dividing, chain conditions, and simplicity. 265-283
Electronic Edition (link) BibTeX

Saharon Shelah:
Forcing axiom failure for any lambda > aleph₁. 285-296
Electronic Edition (link) BibTeX
Sara Negri, Jan von Plato, Thierry Coquand:
Proof-theoretical analysis of order relations. 297-310
Electronic Edition (link) BibTeX
Bernhard König:
Generic compactness reformulated. 311-326
Electronic Edition (link) BibTeX
Wesley Calvert:
The isomorphism problem for classes of computable fields. 327-336
Electronic Edition (link) BibTeX
Nobuyuki Sakamoto, Kazuyuki Tanaka:
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. 337-350
Electronic Edition (link) BibTeX
Michael Soltys, Alasdair Urquhart:
Matrix identities and the pigeonhole principle. 351-358
Electronic Edition (link) BibTeX
Herwig Nübling:
Adding Skolem functions to simple theories. 359-370
Electronic Edition (link) BibTeX
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
On the quantifier complexity of bigtriangleup_n+1 (T)? induction. 371-398
Electronic Edition (link) BibTeX
Stephen Binns, Stephen G. Simpson:
Embeddings into the Medvedev and Muchnik lattices of pi⁰₁classes. 399-414
Electronic Edition (link) BibTeX
Rumen Dimitrov:
Quasimaximality and principal filters isomorphism between. 415-424
Electronic Edition (link) BibTeX

Hans Hermes. 425
Electronic Edition (link) BibTeX
Jan Krajícek:
Combinatorics of first order structures and propositional proof systems. 427-441
Electronic Edition (link) BibTeX
Philip D. Welch:
On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. 443-458
Electronic Edition (link) BibTeX
Itay Ben-Yaacov, Alexander Berenstein:
Imaginaries in Hilbert spaces. 459-466
Electronic Edition (link) BibTeX
Robert Bonnet, Matatyahu Rubin:
On poset Boolean algebras of scattered posets with finite width. 467-476
Electronic Edition (link) BibTeX
Rostislav Horcík, Petr Cintula:
Product L ukasiewicz Logic. 477-504
Electronic Edition (link) BibTeX
Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
Induction, minimization and collection for Delta_n+1(T)-formulas. 505-542
Electronic Edition (link) BibTeX
Joseph S. Miller, Reed Solomon:
Effectiveness for infinite variable words and the Dual Ramsey Theorem. 543-556
Electronic Edition (link) BibTeX
Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic:
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. 557-564
Electronic Edition (link) BibTeX
Roman Kossak:
A note on a theorem of Kanovei. 565-569
Electronic Edition (link) BibTeX

Matatyahu Rubin:
On L_{alpha, omega} complete extensions of complete theories of Boolean algebras. 571-582
Electronic Edition (link) BibTeX
Andrzej Roslanowski, Saharon Shelah:
Sweet & sour and other flavours of ccc forcing notions. 583-664
Electronic Edition (link) BibTeX
Steve Warner:
The cofinality of the saturated uncountable random graph. 665-680
Electronic Edition (link) BibTeX
Xuhua Li:
Largest E-thin, E-invariant sets below bigtriangleup¹₃. 681-690
Electronic Edition (link) BibTeX
Marcin Mostowski, Konrad Zdanowski:
Degrees of logics with Henkin quantifiers in poor vocabularies. 691-702
Electronic Edition (link) BibTeX
Maxim R. Burke, Masaru Kada:
Hechler's theorem for the null ideal. 703-722
Electronic Edition (link) BibTeX

Athanassios Tzouvaras:
What is so special with the powerset operation? 723-738
Electronic Edition (link) BibTeX
Joan Bagaria, Roger Bosch:
Proper forcing extensions and Solovay models. 739-750
Electronic Edition (link) BibTeX
Masahiro Hamano:
Softness of MALL proof-structures and a correctness criterion with Mix. 751-794
Electronic Edition (link) BibTeX
Antonio di Nola, Ada Lettieri:
On normal forms in Lukasiewicz logic. 795-823
Electronic Edition (link) BibTeX

Jonas Eliasson:
Ultrapowers as sheaves on a category of ultrafilters. 825-844
Electronic Edition (link) BibTeX
Andrew Lewis:
Finite cupping sets. 845-858
Electronic Edition (link) BibTeX
George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Calculi for Product Logics. 859-890
Electronic Edition (link) BibTeX
Henry Towsner:
A realizability interpretation for classical analysis. 891-900
Electronic Edition (link) BibTeX
Mirna Dzamonja, Saharon Shelah:
On the existence of universal models. 901-936
Electronic Edition (link) BibTeX

Xavier Caicedo:
Definability and automorphisms in abstract logics. 937-946
Electronic Edition (link) BibTeX
George Barmpalias:
Approximation Representations for ?₂ Reals. 947-964
Electronic Edition (link) BibTeX
Stefano Baratella, Andrea Masini:
An approach to infinitary temporal proof theory. 965-990
Electronic Edition (link) BibTeX
Iraj Kalantari, Larry Welch:
A blend of methods of recursion theory and topology: A Pi₁⁰ tree of shadow points. 991-1008
Electronic Edition (link) BibTeX
George Georgescu, Andrei Popescu:
Non-dual fuzzy connections. 1009-1039
Electronic Edition (link) BibTeX