Volume 44,
1998
- Armin Hemmerling:
Computability of String Functions Over Algebraic Structures.
1-44 BibTeX
- Olivier Gasquet:
Predicate Modal Logics Do Not Mix Very Well.
45-49 BibTeX
- Jana Dietel, Hans-Dietrich Hecker:
Quadrilaterizing an Orthogonal Polygon in Parallel.
50-68 BibTeX
- Jan Ekman:
Propositions in Propositional Logic Provable Only by Indirect Proofs.
69-91 BibTeX
- Kyriakos Keremedis:
Extending Independent Sets to Bases and the Axiom of Choice.
92-98 BibTeX
- Karim Nour:
S-Storage Operators.
99-108 BibTeX
- Anuj Dawar, Georg Gottlob, Lauri Hella:
Capturing Relativized Complexity Classes without Order.
109-122 BibTeX
- Lorenz Halbeisen:
On Shattering, Splitting and Reaping Partitions.
123-134 BibTeX
- Simon Thomas:
The Nonexistence of a Binary Homogeneous Pseudoplane.
135-137 BibTeX
- Mauro Di Nasso:
Linearly Stratified Models for the Foundations of Nonstandard Mathematics.
138-142 BibTeX
- Fernando Ferreira, António Marques:
Extracting Algorithms from Intuitionistic Proofs.
143-160 BibTeX
- Koichiro Ikeda, Anand Pillay, Akito Tsuboi:
On Theories Having Three Countable Models.
161-166 BibTeX
- Hiroshi Aoyama:
The Semantic Completeness of a Global Intuitionistic Logic.
167-175 BibTeX
- Tapani Hyttinen:
Generalizing Morley's Theorem.
176-184 BibTeX
- Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis:
Games with Unknown Past.
185-204 BibTeX
- Jan Johannsen:
A Model Theoretic Property of Sharply Bounded Formulae, with some Applications.
205-215 BibTeX
- Roland Hinnion:
Ramifiable Directed Sets.
216-228 BibTeX
- Joseph Barback:
A Fine Structure in the Theory of Isols.
229-264 BibTeX
- Youssef Boudabbous:
Sur la détermination d'une relation binaire à partir d'informations locales.
265-276 BibTeX
- Sebastiaan Terwijn, Leen Torenvliet:
Arithmetical Measure.
277-286 BibTeX
- Vladimir Kanovei:
Ulm Classification of Analytic Equivalence Relations in Generic Universes.
287-303 BibTeX
- Ning Zhong:
Derivatives of Computable Functions.
304-316 BibTeX
- Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus I.
317-343 BibTeX
- Miklós Erdélyi-Szabó:
Undecidability of the Real Algebraic Structure of Scott's Modell.
344-348 BibTeX
- Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein:
Elementary Properties of the Finite Ranks.
349-353 BibTeX
- Tapani Hyttinen, Saharon Shelah:
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure.
354-358 BibTeX
- Kyriakos Keremedis:
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.
359-366 BibTeX
- Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin:
Versions of Normality and Some Weak Forms of the Axiom of Choice.
367-382 BibTeX
- Ferrante Formato, Giangiacomo Gerla:
Grasping Infinity by Finite Sets.
383-393 BibTeX
- Armin Hemmerling:
Computability Over Structures of Infinite Signature.
394-416 BibTeX
- Saturo Kuroda:
On a Theory for AC0 and the Strength of the Induction Scheine.
417-426 BibTeX
- Bernhard Banaschewski:
Choice Principles and Compactness Conditions.
427-430 BibTeX
- Seema Ahmad, Alistair H. Lachlan:
Some Special Pairs Of Sigma2 e-Degrees.
431-449 BibTeX
- Jan Krajícek:
Interpolation by a Game.
450-458 BibTeX
- Jeffry L. Hirst:
Reverse Mathematics and Ordinal Multiplication.
459-464 BibTeX
- William I. Gasarch, Jeffry L. Hirst:
Reverse Mathematics and Recursive Graph Theory.
465-473 BibTeX
- Henryk Kotlarski:
Other Proofs of Old Results.
474-480 BibTeX
- Christian Delhommé:
Infinite Projection Properties.
481-492 BibTeX
- Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin:
Disjoint Unions of Topological Spaces and Choice.
493-508 BibTeX
- Jörg Flum:
An Extension of the Lemma of Rasiowa and Sikorski.
509-514 BibTeX
- James H. Schmerl:
Difference Sets and Recursion Theory.
515-521 BibTeX
- Hans-Dietrich Hecker, Dietmar Schuchardt:
Variants of Visibility and their Complexity.
522-528 BibTeX
- Herbert Baier, Klaus W. Wagner:
The Analytic Polynomial Time Hierarchy.
529-544 BibTeX
- Douglas S. Bridges, Hajime Ishihara:
A Definitive Constructive Open Mapping Theorem?
545-552 BibTeX
- Hernando Gaitán:
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.
553-567 BibTeX
- Jan Johannsen:
A Remark an Independence Results for Sharply Bounded Arithmetic.
568-570 BibTeX
Copyright © Sun May 17 00:13:42 2009
by Michael Ley (ley@uni-trier.de)
