Volume 39,
1993
- Xiaoding Yi, Alistair H. Lachlan:
Jump Theorems for REA Operators.
1-6
- Arthur L. Rubin, Jean E. Rubin:
Weak Forms of the Axiom of Choke and the Generalized Continuum Hypothesis.
7-22
- Hirokazu Nishimura:
On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.
23-32
- Heinrich Rolletschek:
A Variant of the Notion of Semicreative Set.
33-46
- Michael Rathjen:
How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals.
47-54
- Douglas S. Bridges:
Sequential, Pointwise, and Uniform Continuity: A Constructive Note.
55-61
- Toshio Suzuki:
Witnessing Numbers of Shelah Cardinals.
62-66
- Jacob C. E. Dekker:
Isols and Maximal Intersecting Classes.
67-78
- Martin Dowd:
Remarks on Levy's Reflection Axiom.
79-95
- Helmut Wolter:
On Roots of Exponential Terms.
96-102
- Maciej Kandulski:
Normal Form of Derivations in the Nonassociative and Commutative Lambek Calculus with Product.
103-114
- Luc Lismont:
La connaissance commune en logique modale.
115-130
- Peter Schreiber:
A Note on Parallelism in Affine Geometry.
131-132
- Luiz Carlos Pereira, Edward Hermann Haeusler:
A Formalization of Sambin's Normalization for GL.
133-142
- Friedrich Otto, Daniel E. Cohen, Klaus Madlener:
Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups.
143-157
- J.-M. Brochet:
The Finite Cutset Property.
158-164
- Edwin D. Mares:
Classically Complete Modal Relevant Logics.
165-177
- Benedetto Intrigila:
The Basic Decision Problem in lambda-Calculus.
178-180
- Andrzej Orlicki:
Computable Limits and Colimits in Categories of Partial Enumerated Sets.
181-196
- Isidore Fleischer:
Completeness of the Infinitary Polyadic Axiomatization.
197-200
- Ugo Solitro, Silvio Valentini:
Local Computation in Linear Logic.
201-212
- Mark Mandelkern:
Open Subspaces of Locally Compact Metric Spaces.
213-216
- Noriya Kadota:
On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal.
217-227
- Radosav S. Dordevic:
Analytic Completeness Theorem for Singular Biprobability Models.
228-230
- Claudio Cerrato:
Modal Sequents for Normal Modal Logics.
231-240
- Hirokazu Nishimura:
A Boolean Transfer Principle from L*-Algebras to AL*-Algebras.
241-250
- Martin Dowd:
Higher Type Categories.
251-254
- Nalinaxi H. Sankappanavar, Hanamantagouda P. Sankappanavar:
Quasi-Stone Algebras.
255-268
- Andreas Weiermann:
A Simplified Functorial Construction of the Veblen Hierarchy.
269-273
- Nando Prati:
A Partial Model of NF with ZF.
274-278
- George Rousseau:
The Theorem of the Means for Cardinal and Ordinal Numbers.
279-286
- Michal Krynicki:
Hierarchies of Partially Ordered Connectives and Quantifiers.
287-294
- Douglas S. Bridges:
Constructive Notions of Strict Convexity.
295-300
- Marcus Kracht:
Prefinitely Axiomatizable Modal and Intermediate Logics.
301-322
- John L. Bell:
Hilbert's epsilon-Operator in Intuitionistic Type Theories.
323-337
- Ruggero Ferro, Stefano Baratella:
A Theory of Sets with the Negation of the Axiom of Inflnity.
338-352
- Paul E. Howard:
Variations of Rado's Lemma.
353-356
- Bhavani M. Thuraisingham:
System Function Languages.
357-366
- Andreas Weiermann:
An Order-Theoretic Characterization of the Schütte-Veblen-Hierarchy.
367-383
- Martin K. Solomon:
Measure Independent Gödel Speed-Ups and the Relative Difculty of Recognizing Sets.
384-392
- Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry III.
393-402
- Vladimir V. Rybakov:
Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.
403-415
- Mark Mandelkern:
Finitary Sequence Spaces.
416-430
- Thomas G. McLaughlin:
A Note on Effective Ultrapowers: Uniform Failure of Bounded Collection.
431-435
- Daniel Dzierzgowski:
Typical Ambiguity and Elementary Equivalence.
436-446
- Jeffry L. Hirst:
Derived Sequences and Reverse Mathematics.
447-453
- Anasthasios Tzouvaras:
Non-Circular, Non-Well-Founded Set Universes.
454-460
- Carlos A. Di Prisco, Walter Alexandre Carnielli:
Some Results an Polarized Relations of Higher Dimension.
461-474
- Steffen Lempp, Rodney G. Downey, Richard A. Shore:
Highness and Bounding Minimal Pairs.
475-491
- Karl-Heinz Diener:
On the Predecessor Relation in Abstract Algebras.
492-514
- Frank Stephan, Carl G. Jockusch Jr.:
A Cohesive Set which is not High.
515-530
- Zoran Markovic:
On the Structure of Kripke Models of Heyting Arithmetic.
531-538
- Silvio Valentini:
A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability.
539-544
- Kyriakos Keremedis:
Partition Reals and the Consistency of t < add(R).
545-550
- Andrzej Orlicki:
omega-Operations over Partial Enumerated Sets.
551-558
- Helmut Wolter:
Consequences of Schanuel's Condition for Zeros of Exponential Terms.
559-565
- Roger D. Maddux:
Finitary Algebraic Logic II.
566-569
Copyright © Thu Nov 12 02:02:08 2009
by Michael Ley (ley@uni-trier.de)
