default search action
Mathematical Logic Quarterly, Volume 47
Volume 47, Number 1, January 2001
- S. Barry Cooper:
On a Conjecture of Kleene and Post. 3-33 - Arthur W. Apter:
Some Remarks on Normal Measures and Measurable Cardinals. 35-44 - Akito Tsuboi:
Random Amalgamation of Simple Theories. 45-50 - Xizhong Zheng, Klaus Weihrauch:
The Arithmetical Hierarchy of Real Numbers. 51-65 - Armin Hemmerling:
On P Versus NP for Parameter-Free Programs Over Algebraic Structures. 67-92 - William Gay, Bing-Yu Zhang, Ning Zhong:
Computability of Solutions of the Korteweg-de Vries Equation. 93-110 - Radim Belohlávek:
Lattices of Fixed Points of Fuzzy Galois Connections. 111-116 - Kyriakos Keremedis, Eleftherios Tachtsis:
Compact Metric Spaces and Weak Forms of the Axiom of Choice. 117-128 - Victor Pambuccian
:
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry. 129-136 - Kosta Dosen, Zoran Petric:
The Maximality of Cartesian Categories. 137-144
Volume 47, Number 2, May 2001
- Anthony Bonato:
Metrically Universal Generic Structures in Free Amalgamation Classes. 147-160 - Amy Gale, Rodney G. Downey:
On Genericity and Ershov's Hierarchy. 161-182 - Satoru Kuroda:
An Independence Result on Weak Second Order Bounded Arithmetic. 183-186 - Yasusi Hasimoto:
Heyting Algebras with Operators. 187-196 - Wolfgang Degen:
Rigid Unary Functions and the Axiom of Choice. 197-204 - Kyriakos Keremedis:
The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice. 205-210 - Marcel Erné:
Constructive Order Theory. 211-222 - Stefano Leonesi, Carlo Toffalori:
Weakly o-Minimal Expansions of Boolean Algebras. 223-238 - Giacomo Bonanno:
Prediction in Branching Time Logic. 239-247 - Wolfgang Merkle, Yongge Wang:
Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities. 249-269 - Joel David Hamkins, Daniel Evan Seabold:
Infinite Time Turing Machines With Only One Tape. 271-287
Volume 47, Number 3, August 2001
- Heike Mildenberger:
The Strengths of Some Violations of Covering. 291-298 - Douglas S. Bridges, Robin Havea:
A Constructive Version of the Spectral Mapping Theorem. 299-304 - Paola D'Aquino:
Quotient Fields of a Model of I-Delta0 + Omega1. 305-314 - Dumitru Daniel Dragulici, George Georgescu:
Algebraic Logic for Rational Pavelka Predicate Calculus. 315-326 - Yoshihito Tanaka:
Cut-elimination Theorems for Some Infinitary Modal Logics. 327-339 - Yutaka Miyazaki:
Kripke-style Semantics of Orthomodular Logics. 341-362 - Wilfried Buchholz:
Finitary Treatment of Operator Controlled Derivations. 363-396 - Andreas Weiermann:
Gamma0 May Be Minimal Subrecursively Inaccessible. 397-408 - Ivar Rummelhoff:
Normal Domain Representations of Topological Spaces. 409-412 - Kyriakos Keremedis, Eleftherios Tachtsis:
Some Weak Forms of the Axiom of Choice Restricted to the Real Line. 413-422 - Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley, Eleftherios Tachtsis:
Non-constructive Properties of the Real Numbers. 423-431
Volume 47, Number 4, November 2001
- Michael Rathjen:
Kripke-Platek Set Theory and the Anti-Foundation Axiom. 435-440 - Vladimir V. Rybakov
Construction of an Explicit Basis for Rules Admissible in Modal System S4. 441-446 - Peter Jipsen, Alexander Pinus, Henry Rose:
Rudin-Keisler Posets of Complete Boolean Algebras. 447-454 - Ulrich Kohlenbach:
Intuitionistic Choice and Restricted Classical Logic. 455-460 - Albert Atserias, Nicola Galesi, Ricard Gavaldà:
Monotone Proofs of the Pigeon Hole Principle. 461-474 - Victor Pambuccian
Constructive Axiomatization of Plane Hyperbolic Geometry. 475-488 - James H. Schmerl:
Closed Normal Subgroups. 489-492 - Ménard Bourgade:
Séparations et transferts dans la hi?rarchie polynomiale des groupes abéliens infinis. 493-502 - Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
Some Results on L-Delta-- n+1. 503-512 - Marcin Mostowski:
On Representing Concepts in Finite Models. 513-523 - Guohua Wu:
Isolation and the Jump Operator. 525-534 - Douglas S. Bridges, Luminita Vîta:
Characterising Near Continuity Constructively. 535-538 - Olivier Esser, Roland Hinnion:
Combinatorial Criteria for Ramifiable Ordered Sets. 539-555 - Mihai Prunescu:
Non-effective Quantifier Elimination. 557-561 - Arthur W. Apter, Joel David Hamkins:
Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata. 563-571
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-04 20:32 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: