default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 45
Volume 45, 1999
- Stephen A. Fenner, Marcus Schaefer:
Bounded Immunity and Btt-Reductions. 3-21 - Hiroyasu Kamo, Kiko Kawamura:
Computability of Self-Similar Sets. 23-30 - 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 Interval 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 Answers. 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 - Douglas S. Bridges, Luminita Dediu:
Weak-operator Continuity and the Existence Of Adjoints. 203-206 - Sergio A. Celani:
Distributive Lattices with a Negation Operator. 207-218 - Tapani Hyttinen:
Stability and General Logics. 219-240 - Peter Jipsen, Henry Rose:
Partition Complete Boolean Algebras and Almost Compact Cardinals. 241-255 - Mohamed Khalouani, Salah Labhalla, Henri Lombardi:
Étude constructive de problèmes de topologie pour les réels irrationnels. 257-288 - David W. Kueker, Brian P. Turnquist:
Nearly Model Complete Theories. 291-298 - J. Dodu, Marianne Morillon:
The Hahn-Banach Property and the Axiom of Choice. 299-314 - Erich Grädel, Eric Rosen:
On Preservation Theorems for Two-Variable Logic. 315-325 - Masamitsu Ozaki, Juichi Shinoda:
On MODkP Counting Degrees. 327-342 - Wolfgang Merkle:
Exact Pairs for Abstract Bounded Reducibilities. 343-360 - Ralf Schindler:
Strong Cardinals and Sets of Reals in Lω1(ℝ). 361-369 - Vladimir Kanovei, Michael Reeken:
Special Model Axiom in Nonstandard Set Theory. 371-384 - Raimon Elgueta:
Algebraic Characterizations for Universal Fragments of Logic. 385-398 - Fernando Ferreira:
Two General Results on Intuitionistic Bounded Theories. 399-407 - Anthony Bonato, Dejan Delic:
A Pigeonhole Property for Relational Structures. 409-413 - Stanislav Krajci:
Two Remarks on Partitions of ω to with Finite Blocks. 415-420 - Youssef Boudabbous:
Reconstructible 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 - Bing-Yu Zhang, Ning Zhong:
Lp-Computability. 449-456 - 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 in 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
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-20 21:04 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:
