default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 43
Volume 43, Number 1, January 2004
- Ingo Lepper:
Simply terminating rewrite systems with long derivations. 1-18 - Jouko A. Väänänen
, Boban Velickovic:
Games played on partial isomorphisms. 19-30 - Saharon Shelah:
On nice equivalence relations on ?2. 31-64 - Harold Simmons:
A comparison of two systems of ordinal notations. 65-84 - Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
On potential isomorphism and non-structure. 85-120 - Matthew B. Giorgi:
The computably enumerable degrees are locally non-cappable. 121-139
Volume 43, Number 2, February 2004
- Adriana Galli, Renato A. Lewin, Marta Sagastume:
The logic of equilibrium and abelian lattice ordered groups. 141-158 - Pierluigi Minari:
Analytic combinatory calculi and the elimination of transitivity. 159-192 - George Kafkoulis:
Coding lemmata in L. 193-214 - Wim Veldman:
An intuitionistic proof of Kruskal's theorem. 215-264 - Alfred Dolich:
Weak dividing, chain conditions, and simplicity. 265-283
Volume 43, Number 3, April 2004
- Saharon Shelah:
Forcing axiom failure for any lambda > aleph1. 285-296 - Sara Negri, Jan von Plato, Thierry Coquand:
Proof-theoretical analysis of order relations. 297-310 - Bernhard König:
Generic compactness reformulated. 311-326 - Wesley Calvert:
The isomorphism problem for classes of computable fields. 327-336 - Nobuyuki Sakamoto, Kazuyuki Tanaka:
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. 337-350 - Michael Soltys, Alasdair Urquhart:
Matrix identities and the pigeonhole principle. 351-358 - Herwig Nübling:
Adding Skolem functions to simple theories. 359-370 - Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
On the quantifier complexity of bigtriangleupn+1 (T)? induction. 371-398 - Stephen Binns, Stephen G. Simpson:
Embeddings into the Medvedev and Muchnik lattices of pi01classes. 399-414 - Rumen D. Dimitrov:
Quasimaximality and principal filters isomorphism between. 415-424
Volume 43, Number 4, May 2004
- Hans Hermes. 425
- Jan Krajícek:
Combinatorics of first order structures and propositional proof systems. 427-441 - Philip D. Welch:
On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. 443-458 - Itay Ben-Yaacov, Alexander Berenstein:
Imaginaries in Hilbert spaces. 459-466 - Robert Bonnet, Matatyahu Rubin:
On poset Boolean algebras of scattered posets with finite width. 467-476 - Rostislav Horcík, Petr Cintula:
Product L ukasiewicz Logic. 477-504 - Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
Induction, minimization and collection for Deltan+1(T)-formulas. 505-542 - Joseph S. Miller, Reed Solomon:
Effectiveness for infinite variable words and the Dual Ramsey Theorem. 543-556 - Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic:
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. 557-564 - Roman Kossak:
A note on a theorem of Kanovei. 565-569
Volume 43, Number 5, July 2004
- Matatyahu Rubin:
On Lalpha, omega complete extensions of complete theories of Boolean algebras. 571-582 - Andrzej Roslanowski, Saharon Shelah:
Sweet & sour and other flavours of ccc forcing notions. 583-664 - Steve Warner:
The cofinality of the saturated uncountable random graph. 665-680 - Xuhua Li:
Largest E-thin, E-invariant sets below bigtriangleup1 3. 681-690 - Marcin Mostowski, Konrad Zdanowski:
Degrees of logics with Henkin quantifiers in poor vocabularies. 691-702 - Maxim R. Burke, Masaru Kada:
Hechler's theorem for the null ideal. 703-722
Volume 43, Number 6, August 2004
- Athanassios Tzouvaras:
What is so special with the powerset operation? 723-738 - Joan Bagaria, Roger Bosch:
Proper forcing extensions and Solovay models. 739-750 - Masahiro Hamano:
Softness of MALL proof-structures and a correctness criterion with Mix. 751-794 - Antonio Di Nola, Ada Lettieri:
On normal forms in Lukasiewicz logic. 795-823
Volume 43, Number 7, October 2004
- Jonas Eliasson:
Ultrapowers as sheaves on a category of ultrafilters. 825-844 - Andrew Lewis:
Finite cupping sets. 845-858 - George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Calculi for Product Logics. 859-890 - Henry Towsner:
A realizability interpretation for classical analysis. 891-900 - Mirna Dzamonja, Saharon Shelah:
On the existence of universal models. 901-936
Volume 43, Number 8, November 2004
- Xavier Caicedo:
Definability and automorphisms in abstract logics. 937-946 - George Barmpalias:
Approximation Representations for ?2 Reals. 947-964 - Stefano Baratella, Andrea Masini:
An approach to infinitary temporal proof theory. 965-990 - Iraj Kalantari, Larry Welch:
A blend of methods of recursion theory and topology: A Pi10 tree of shadow points. 991-1008 - George Georgescu, Andrei Popescu:
Non-dual fuzzy connections. 1009-1039
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
