Volume 43,
1997
- Iain A. Stewart:
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second-Order Logic.
1-21 BibTeX
- Ralf-Dieter Schindler:
Weak Covering at Large Cardinals.
22-28 BibTeX
- Stefano Mazzanti:
Iterative Characterizations of Computable Unary Functions: A General Method.
29-38 BibTeX
- Martin Goldstern:
Strongly Amorphous Sets and Dual Dedekind Infinity.
39-44 BibTeX
- Takeshi Yamaguchi:
Effective Nonrecursiveness.
45-48 BibTeX
- Edward Hermann Haeusler, Marcelo da Silva Corrêa:
A Concrete Categorical Model for the Lambek Syntactic Calculus.
49-59 BibTeX
- Miroslawa Kolowska-Gawiejnowicz:
Powerset Residuated Algebras and Generalized Lambek Calculus.
60-72 BibTeX
- Jean Sylvestre Gakwaya:
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.
73-77 BibTeX
- Çigdem Gencer, Mehmet Terziler:
On a Question of Phillips.
78-82 BibTeX
- Joseph Barback:
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.
83-91 BibTeX
- Fabio Bellissima, Saverio Cittadini:
Minimal Axiomatization in Modal Logic.
92-102 BibTeX
- Masahiro Hamano, Mitsuhiro Okada:
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.
103-120 BibTeX
- James P. Jones, Hilbert Levitz, Warren D. Nichols:
On Series of Ordinals and Combinatorics.
121-133 BibTeX
- Tapani Hyttinen:
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.
134-142 BibTeX
- Felipe Cucker:
Machines Over the Reals and Non Uniformity.
143-157 BibTeX
- Iain A. Stewart:
Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic.
158-178 BibTeX
- Marco Cesati, Miriam Di Ianni:
Computation Models for Parameterized Complexity.
179-202 BibTeX
- Bernhard Heinemann:
On Binary Computation Structures.
203-215 BibTeX
- Vasco Brattka:
Order-free Recursion on the Real Numbers.
216-234 BibTeX
- Alexandra A. Soskova:
Effective Structures.
235-250 BibTeX
- Klaus Hilmar Sprenger:
Some Hierarchies of Primitive Recursive Functions on Term Algebras.
251-286 BibTeX
- Kate Copestake:
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.
287-310 BibTeX
- Rodney G. Downey:
On the Universal Splitting Property.
311-320 BibTeX
- Erik Palmgren:
Constructive Sheaf Semantics.
321-327 BibTeX
- Takeshi Yamaguchi, Ryo Kashima:
On the Dif%culty of Writing Out Formal Proofs in Arithmetic.
328-332 BibTeX
- Aviad Heifetz:
Infinitary S5-Epistemic Logic.
333-342 BibTeX
- Miklós Erdélyi-Szabó:
Decidability in the Constructive Theory of Reals as an Ordered Q-vectorspace.
343-354 BibTeX
- Jun Li:
On Remainder Equations.
355-368 BibTeX
- Olivier Esser:
An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory.
369-377 BibTeX
- Hisato Muraki:
Non Complementedness and Non Distributivity of Kleene Degrees.
378-388 BibTeX
- Vladimir Kanovei, Michiel van Lambalgen:
On a Spector Ultrapower for the Solovay Model.
389-395 BibTeX
- Kazuyuki Tanaka:
Non standard Analysis in WKLo.
396-400 BibTeX
- Domenico Zambella:
Forcing in Finite Structures.
401-412 BibTeX
- Thierry Lacoste:
A Simplified Proof of the 0-1 Law for Existential Second-Order Ackermann Sentences.
413-418 BibTeX
- Malika More, Frédéric Olive:
Rudimentary Languages and Second Order Logic.
419-426 BibTeX
- Arthur W. Apter:
More an the Least Strongly Compact Cardinal.
427-430 BibTeX
- Ronald Fagin:
Comparing the Power of Games on Graphs.
431-455 BibTeX
- Dugald Macpherson, Charles Steinhorn:
Extending Partial Orders on o-Minimal Structures to Definable Total Orders.
456-464 BibTeX
- Roland Hinnion:
Directed Sets and Malitz-Cauchy-Completions.
465-484 BibTeX
- Eiko Isoda, Kazuaki Nagaoka:
Incompleteness Results in Kripke Bundle Semantics.
485-498 BibTeX
- Marian Boykan Pour-El, Ning Zhong:
The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable.
499-509 BibTeX
- Birger Strauch:
On Partial Classes Containing All Monotone and Zero-Preserving Total Boolean Functions.
510-524 BibTeX
- Nicholas Bamber, Henryk Kotlarski:
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic.
525-540 BibTeX
- Yoshihiro Abe:
Combinatorics for Small Ideals on Pklambda.
541-549 BibTeX
- Branislav R. Boricic:
Validity Measurement in Some Propositional Logics.
550-558 BibTeX
- Phil Watson:
Embeddings in the Strong Reducibilities Between 1 and npm.
559-568 BibTeX
- Carl G. Jockusch Jr., Frank Stephan:
Correction to "A Cohesive Set which is not High".
569 BibTeX
Copyright © Sun May 17 00:13:42 2009
by Michael Ley (ley@uni-trier.de)
