Mathematical Logic Quarterly, Volume 45
Volume 45, 1999
- Gerhard Lischke: Towards the Actual Relationship Between NP and Exponential Time. 31-49
- Miroslawa Kolowska-Gawiejnowicz: A Labelled Deductive System for Relational Semantics of the Lambek Calculus. 51-58
- Matthew C. Salts: An Intervall of Computably Enumerable Isolating Degrees. 59-72
- Kees Doets: Relatives of the Russell Paradox. 73-83
- Evgueni Vassiliev: Countably Categorical Structures with n-Degenerate Algebraic Closure. 85-94
- Kyriakos Keremedis: Weak Hausdorff Gaps and the p<t Problem. 95-104
- Olivier Esser: On the Consistency of a Positive Theory. 105-116
- Josep Maria Font: On Special Implicative Filters. 117-126
- Heike Mildenberger: Borel on the Questions Versus Borel on the Answeres. 127-133
- John L. Bell: Boolean Algebras and Distributive Lattices Treated Constructively. 135-143
- Peter Hertling: A Real Number Structure that is Effectively Categorical. 147-182
- Yi Zhang: Towards a Problem of E. van Douwen and A. Miller. 183-188
- Thomas G. McLaughlin: Existentially Incomplete Tame Models and a Conjecture of Ellentuck. 189-202
- Sergio A. Celani: Distributive Lattices with a Negation Operator. 207-218
- Tapani Hyttinen: Stability and General Logics. 219-240
- Mohamed Khalouani, Salah Labhalla, Henri Lombardi: Étude constructive de problèmes de topologie pour les réels irrationnels. 257-288
- Wolfgang Merkle: Exact Pairs for Abstract Bounded Reducibilities. 343-360
- Ralf Schindler: Strong Cardinals and Sets of Reals in Lomega1(R). 361-369
- Raimon Elgueta: Algebraic Characterizations for Universal Fragments of Logic. 385-398
- Fernando Ferreira: Two General Results on lntuitionistic Bounded Theories. 399-407
- Stanislav Krajci: Two Remarks on Partitions of omega to with Finite Blocks. 415-420
- Youssef Boudabbous: Reconstrucitble and Half-Reconstructible Tournaments: Application to Their Groups of Hemimorphisms. 421-431
- Takahito Aoto, Hiroyuki Shirasu: On the Finite Model Property of Intuitionistic Modal Logics over MIPC. 435-448
- Abir Nour: Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini. 457-466
- Farzad Didehvar: On a Class of Recursively Enumerable Sets. 467-470
- Uliano P. Balestrini, Maurizio Fattorosi-Barnaba: The Modality of Finite(Graded Modalties VII). 471-480
- Vasco Brattka, Xizhong Zheng, Klaus Weihrauch: Approaches to Effective Semi-Continuity of Real Functions. 481-496
- Radim Belohlávek: Fuzzy Galois Connections. 497-504
- Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner: On Finite Model Property for Admissible Rules. 505-520
- Maria Emilia Maietti, Silvio Valentini: Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? 521-532
- Olivier Chapuis, Pascal Koiran: Definability of Geometric Properties on Algebraically Closed Fields. 533-550
- Arthur W. Apter: Forcing the Least Measurable to Violate GCH. 551-560
- Valeriy K. Bulitko: About Segment Complexity of Turing Reductions. 561-571
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team