Volume 42, 1996
Michael Rathjen:
The Recursively Mahlo Property in Second Order Arithmetic.
59-66
V. Yu. Shavrukov:
Remarks on Uniformly Finitely Precomplete Positive Equivalences.
67-82
Geoffrey LaForte:
The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.
83-103
Markus Huberich:
A Note on Boolean Algebras with Few Partitions Modulo some Filter.
172-174
Peter Apostoli:
Modal Aggregation and the Theory of Paraconsistent Filters.
175-190
S. Barry Cooper:
Strong Minimal Covers for Recursively Enumerableg.
191-196
John L. Bell:
Polymodal Lattices and Polymodal Logic.
219-233
Lo Czukai,
Renren Liu:
The Maximal Closed Classes of Unary Functions in p-Valued Logic.
234-240
Xiaoding Yi:
Splittings of 0' into the Recursively Enumerable Degrees.
249-269
Andrea Cantini:
Asymmetric Interpretations for Bounded Theories.
270-288
Silvio Valentini:
Decidability in Intuitionistic Type Theory is Functionally Decidable.
300-304
Holger Petersen:
The Computation of Partial Recursive Word-Functions Without Read Instructions.
312-318
Karim Nour:
Storage Operators and forall-positive Types in TTR Type System.
349-368
Carlo Toffalori:
Decidability for Z[G]-Modules when G is Cyclic of Prime Order.
369-378
Qing Zhou:
Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Sp ace.
379-409
Carlo Toffalori:
Some Decidability Results for Z[G]-Modules when G is Cyclic of Squarefree Order.
433-445
George Tourlakis:
Recursion in Partial Type-1 Objects With Well-Behaved Oracles.
449-460
J. Donald Monk:
Minimum-sized Infinite Partitions of Boolean Algebras.
537-550
Kam-Chau Wong:
Computability of Minimizers and Separating Hyperplanes.
564-568
Martin Grohe:
Some Remarks on Finite Löwenheim-Skolem Theorems.
569-571
data released under the ODC-BY 1.0 license
