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 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
- 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 Lomega1(R).
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 lntuitionistic Bounded Theories.
399-407
- Anthony Bonato, Dejan Delic:
A Pigeonhole Property for Relational Structures.
409-413
- 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
- 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 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
Copyright © Wed Nov 25 19:11:51 2009
by Michael Ley (ley@uni-trier.de)
