default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 42
Volume 42, Number 1, January 2003
- Saharon Shelah
:
More Jonsson Algebras. 1-44 - Zofia Adamowicz, Pawel Zbierski:
On complexity reduction of Sigma1 formulas. 45-58 - Felix Joachimski, Ralph Matthes:
Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. 59-87 - Michael Rathjen:
Realizing Mahlo set theory in type theory. 89-101
Volume 42, Number 2, February 2003
- Lorenz Halbeisen, Pierre Matet:
A generalization of the Dual Ellentuck Theorem. 103-128 - Christian Rüede:
Universes in metapredicative analysis. 129-151 - Yi Zhang:
Adjoining cofinitary permutations (II) . 153-163 - G. S. Mendick, John Kenneth Truss:
A notion of rank in set theory without choice. 165-178 - Vladimir V. Rybakov:
Refined common knowledge logics or logics of common information. 179-200 - Guohua Wu:
Q-measures on QKlambda. 201-204
Volume 42, Number 3, April 2003
- Roberto Maieli:
A new correctness criterion for multiplicative non-commutative proof nets. 205-220 - Valentin Goranko, Bruce M. Kapron:
The modal logic of the countable random frame. 221-243 - Mojtaba Aghaei, Mohammad Ardeshir:
A Gentzen-style axiomatization for basic predicate calculus. 245-259 - Vladimir V. Rybakov:
Barwise's information frames and modal logics. 261-277 - Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy:
Simple and immune relations on countable structures. 279-291 - Mihai Prunescu:
Diophantine properties of finite commutative rings. 293-302
Volume 42, Number 4, May 2003
- Arnold Beckmann:
Dynamic ordinal analysis. 303-334 - Howard Becker:
The restriction of a Borel equivalence relation to a sparse set. 335-347 - Jörg Brendle, Saharon Shelah:
Evasion and prediction. 349-360 - Roberto Cignoli, Antoni Torrens:
Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. 361-370 - Mirjana Borisavljevic:
Two measures for proving Gentzen's Hauptsatz without mix. 371-387 - Sara Negri:
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. 389-401
Volume 42, Number 5, July 2003
- Maria Luisa Bonet, Nicola Galesi:
Degree complexity for a modified pigeonhole principle. 403-414 - Massoud Pourmahdian:
The stable forking conjecture and generic structures. 415-421 - Ikuo Yoneda:
CM-triviality and generic structures. 423-433 - Grégory Duby:
Automorphisms with only infinite orbits on non-algebraic elements. 435-447 - Petr Cintula:
Advances in the LPi and LPi1/2i logics. 449-468 - Chris Pollett:
On the bounded version of Hilbert's tenth problem. 469-488 - Sándor Jenei:
On the structure of rotation-invariant semigroups. 489-514
Volume 42, Number 6, August 2003
- Lev D. Beklemishev:
Proof-theoretic analysis by iterated reflection. 515-552 - Evan J. Griffiths:
Limit lemmas and jump inversion in the enumeration degrees. 553-562 - Minhyong Kim:
Relating decision and search algorithms for rational points on curves of higher genus. 563-568 - Saharon Shelah:
On ultraproducts of Boolean algebras and irr. 569-581 - Douglas A. Cenzer, Peter G. Hinman:
Density of the Medvedev lattice of Pi01 classes. 583-600 - Ludomir Newelski:
Very simple theories without forking. 601-16
Volume 42, Number 7, October 2003
- Grigori Mints, Darko Sarenac:
Completeness of indexed epsilon-calculus. 617-625 - Heike Mildenberger, Saharon Shelah:
Specialising Aronszajn trees by countable approximations. 627-647 - Itay Ben-Yaacov:
On the fine structure of the polygroup blow-up. 649-663 - Uwe Petersen:
L i D Z lambda as a basis for PRA. 665-694 - Teruyuki Yorioka:
Forcings with the countable chain condition and the covering number of the Marczewski ideal. 695-710 - Vítezslav Svejdar:
On the polynomial-space completeness of intuitionistic propositional logic. 711-716
Volume 42, Number 8, November 2003
- Arthur W. Apter:
Some remarks on indestructibility and Hamkins' lottery preparation. 717-735 - Antonio Di Nola, Laurentiu Leustean:
Compact representations of BL-algebras. 737-761 - Vítezslav Svejdar:
The decision problem of provability logic with only one atom. 763-768 - Tomek Bartoszynski, Saharon Shelah:
Strongly meager sets of size continuum. 769-779 - Radim Belohlávek:
Birkhoff variety theorem and fuzzy logic. 781-790 - Morteza Moniri:
Intuitionistic weak arithmetic. 791-796 - Sándor Jenei, Franco Montagna:
On the continuity points of left-continuous t-norms. 797-810 - John L. Bell:
Some new intuitionistic equivalents of Zorn's Lemma. 811-814 - Enrique Casanovas:
Dividing and chain conditions. 815-819
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-12-05 20:44 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:
