Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 44
Volume 44, Number 1, January 2005
- Michael Rathjen:
An ordinal analysis of stability. 1-62 - Saharon Shelah
, Jouko A. Väänänen:
A note on extensions of infinitary logic. 63-69 - James Cummings, Ernest Schimmerling:
Diamond and antichains. 71-76 - Vincent Astier, Marcus Tressl:
Axiomatization of local-global principles for pp-formulas in spaces of orderings. 77-95 - Franco Montagna:
On the predicate logics of continuous t-norm BL-algebras. 97-114 - Silvio Valentini:
The problem of the formalization of constructive topology. 115-129
Volume 44, Number 2, February 2005
- Michael Hrusák, Manuel Sanchis, Á. Tamariz-Mascarúa:
Ultrafilters, monotone functions and pseudocompactness. 131-157 - Thoralf Räsch, Ralf Schindler:
A new condensation principle. 159-166 - Roberto Maieli, Quintijn Puite:
Modularity of proof-nets. 167-193 - Neil Thapen, Michael Soltys:
Weak theories of linear algebra. 195-208 - Dieter Spreen:
Strong reducibility of partial numberings. 209-217 - M. Victoria Marshall, M. Gloria Schwarze:
Labelling classes by sets. 219-226 - Geoffrey LaForte:
Isolation in the CEA hierarchy. 227-244 - Tommaso Flaminio, Franco Montagna:
A logical and algebraic treatment of conditional probability. 245-262
Volume 44, Number 3, April 2005
- Michael Rathjen:
An ordinal analysis of parameter free Pi12-comprehension. 263-362 - Ali Enayat:
Models of set theory with definable ordinals. 363-385 - Arthur W. Apter:
Diamond, square, and level by level equivalence. 387-395
Volume 44, Number 4, May 2005
- Henry Towsner:
Epsilon substitution for transfinite induction. 397-412 - Rostislav Horcík:
Standard completeness theorem for PiMTL. 413-424 - Arnold W. Miller:
The gamma-borel conjecture. 425-434 - Agata Ciabattoni:
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. 435-457 - R. E. Hodel:
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem. 459-472 - George Voutsadakis:
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. 473-491 - Arthur W. Apter:
On a problem of Foreman and Magidor. 493-498 - Milos S. Kurilic:
Mad families, forcing and the Suslin Hypothesis. 499-512 - Hiroaki Minami:
Diamond principles in Cichon's diagram. 513-526
Volume 44, Number 5, July 2005
- Saharon Shelah:
Middle diamond. 527-560 - Dieter Probst:
On the relationship between fixed points and iteration in admissible set theory without foundation. 561-580 - Paul B. Larson:
Saturation, Suslin trees and meager sets. 581-595 - Todd Eisworth, Saharon Shelah:
Successors of singular cardinals and coloring theorems I. 597-618 - Yoshihiro Abe:
Notes on subtlety and ineffability in Pkappalambda. 619-631 - Philipp Gerhardy, Ulrich Kohlenbach:
Extracting Herbrand disjunctions by functional interpretation. 633-644 - Athanassios Tzouvaras:
Forcing and antifoundation. 645-661 - Athanassios Tzouvaras:
Erratum: "Forcing and antifoundation". 663
Volume 44, Number 6, August 2005
- Preface. 665-666
- Jan Krajícek:
Hardness assumptions in the foundations of theoretical computer science. 667-675 - Teruyuki Yorioka:
The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap. 677-683 - Masahiro Yasumoto:
Separations of first and second order theories in bounded arithmetic. 685-688 - Osamu Takaki:
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. 689-709 - Stephen A. Cook, Tsuyoshi Morioka:
Quantified propositional calculus and a second-order theory for NC1. 711-749 - Toshio Suzuki:
Bounded truth table does not reduce the one-query tautologies to a random oracle. 751-762 - Petr Hájek:
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. 763-782 - Grigori Mints, Ting Zhang:
Propositional logic of continuous transformations in Cantor space. 783-799
Volume 44, Number 7, October 2005
- Nikolaos Efstathiou Sofronidis:
Turbulence Phenomena in Real Analysis. 801-815 - Paul B. Larson:
The canonical function game. 817-827 - Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara:
Sufficient triangular norms in many-valued logics with standard negation. 829-849 - Eugenio Chinchilla:
Models of replacement schemes. 851-867 - Carles Noguera, Francesc Esteva, Joan Gispert:
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. 869-886 - Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta:
Strong continuity implies uniform sequential continuity. 887-895 - Steffen Lewitzka, Ruy J. G. B. de Queiroz:
On dividing chains in simple theories. 897-911 - Thomas Vetterlein:
Partial algebras for Lukasiewicz logics and its extensions. 913-933
Volume 44, Number 8, November 2005
- Gunter Fuchs:
A Characterization of Generalized Príkrý Sequences. 935-971 - Jordan Zashev:
Diagonal fixed points in algebraic recursion theory. 973-994 - Antonio Di Nola, Philippe Niederkorn:
Natural dualities for varieties of BL-algebras. 995-1007 - Tatsuo Arai:
Epsilon substitution method for [Pi01, Pi01]-FIX. 1009-1043 - George Barmpalias:
Hypersimplicity and semicomputability in the weak truth table degrees. 1045-1065
a service of 
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-04-18 20:20 CEST 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:
