Volume 43, 1997
- Iain A. Stewart:
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second-Order Logic.
1-21

- Ralf-Dieter Schindler:
Weak Covering at Large Cardinals.
22-28

- Stefano Mazzanti:
Iterative Characterizations of Computable Unary Functions: A General Method.
29-38

- Martin Goldstern:
Strongly Amorphous Sets and Dual Dedekind Infinity.
39-44

- Takeshi Yamaguchi:
Effective Nonrecursiveness.
45-48

- Edward Hermann Haeusler, Marcelo da Silva Corrêa:
A Concrete Categorical Model for the Lambek Syntactic Calculus.
49-59

- Miroslawa Kolowska-Gawiejnowicz:
Powerset Residuated Algebras and Generalized Lambek Calculus.
60-72

- Jean Sylvestre Gakwaya:
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.
73-77

- Çigdem Gencer, Mehmet Terziler:
On a Question of Phillips.
78-82

- Joseph Barback:
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.
83-91

- Fabio Bellissima, Saverio Cittadini:
Minimal Axiomatization in Modal Logic.
92-102

- Masahiro Hamano, Mitsuhiro Okada:
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.
103-120

- James P. Jones, Hilbert Levitz, Warren D. Nichols:
On Series of Ordinals and Combinatorics.
121-133

- Tapani Hyttinen:
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.
134-142

- Felipe Cucker:
Machines Over the Reals and Non Uniformity.
143-157

- Iain A. Stewart:
Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic.
158-178

- Marco Cesati, Miriam Di Ianni:
Computation Models for Parameterized Complexity.
179-202

- Bernhard Heinemann:
On Binary Computation Structures.
203-215

- Vasco Brattka:
Order-free Recursion on the Real Numbers.
216-234

- Alexandra A. Soskova:
Effective Structures.
235-250

- Klaus Hilmar Sprenger:
Some Hierarchies of Primitive Recursive Functions on Term Algebras.
251-286

- Kate Copestake:
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.
287-310

- Rodney G. Downey:
On the Universal Splitting Property.
311-320

- Erik Palmgren:
Constructive Sheaf Semantics.
321-327

- Takeshi Yamaguchi, Ryo Kashima:
On the Dif%culty of Writing Out Formal Proofs in Arithmetic.
328-332

- Aviad Heifetz:
Infinitary S5-Epistemic Logic.
333-342

- Miklós Erdélyi-Szabó:
Decidability in the Constructive Theory of Reals as an Ordered Q-vectorspace.
343-354

- Jun Li:
On Remainder Equations.
355-368

- Olivier Esser:
An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory.
369-377

- Hisato Muraki:
Non Complementedness and Non Distributivity of Kleene Degrees.
378-388

- Vladimir Kanovei, Michiel van Lambalgen:
On a Spector Ultrapower for the Solovay Model.
389-395

- Kazuyuki Tanaka:
Non standard Analysis in WKLo.
396-400

- Domenico Zambella:
Forcing in Finite Structures.
401-412

- Thierry Lacoste:
A Simplified Proof of the 0-1 Law for Existential Second-Order Ackermann Sentences.
413-418

- Malika More, Frédéric Olive:
Rudimentary Languages and Second Order Logic.
419-426

- Arthur W. Apter:
More an the Least Strongly Compact Cardinal.
427-430

- Ronald Fagin:
Comparing the Power of Games on Graphs.
431-455

- Dugald Macpherson, Charles Steinhorn:
Extending Partial Orders on o-Minimal Structures to Definable Total Orders.
456-464

- Roland Hinnion:
Directed Sets and Malitz-Cauchy-Completions.
465-484

- Eiko Isoda, Kazuaki Nagaoka:
Incompleteness Results in Kripke Bundle Semantics.
485-498

- Marian Boykan Pour-El, Ning Zhong:
The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable.
499-509

- Birger Strauch:
On Partial Classes Containing All Monotone and Zero-Preserving Total Boolean Functions.
510-524

- Nicholas Bamber, Henryk Kotlarski:
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic.
525-540

- Yoshihiro Abe:
Combinatorics for Small Ideals on Pklambda.
541-549

- Branislav R. Boricic:
Validity Measurement in Some Propositional Logics.
550-558

- Phil Watson:
Embeddings in the Strong Reducibilities Between 1 and npm.
559-568

- Carl G. Jockusch Jr., Frank Stephan:
Correction to "A Cohesive Set which is not High".
569

Last update Sat May 18 20:46:26 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page