Volume 42,
1996
- Fernando Ferreira:
On End-Extensions of Models of ¬exp.
1-18 BibTeX
- Vladimir Kanovei, Michael Reeken:
Loeb Measure from the Point of View of a Coin Flipping Game.
19-26 BibTeX
- Eduardo Mizraji:
The Operators of Vector Logic.
27-40 BibTeX
- Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti:
Decidability of exist*forall-Sentences in Membership Theories.
41-58 BibTeX
- Michael Rathjen:
The Recursively Mahlo Property in Second Order Arithmetic.
59-66 BibTeX
- V. Yu. Shavrukov:
Remarks on Uniformly Finitely Precomplete Positive Equivalences.
67-82 BibTeX
- Geoffrey LaForte:
The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.
83-103 BibTeX
- Olivier Esser:
Inconsistency of GPK + AFA.
104-108 BibTeX
- Ivan N. Soskov:
Intrinsically II11 Relations.
109-126 BibTeX
- Caterina Bianchini, Andrea Sorbi:
A Note an Closed Degrees of Difculty of the Medvedev Lattice.
127-133 BibTeX
- Salah Labhalla, Henri Lombardi:
Analyse de complexité pour un théorème de Hall sur les fractions continues.
134-144 BibTeX
- Frank Wolter:
Tense Logic Without Tense Operators.
145-171 BibTeX
- Markus Huberich:
A Note on Boolean Algebras with Few Partitions Modulo some Filter.
172-174 BibTeX
- Peter Apostoli:
Modal Aggregation and the Theory of Paraconsistent Filters.
175-190 BibTeX
- S. Barry Cooper:
Strong Minimal Covers for Recursively Enumerableg.
191-196 BibTeX
- Claudio Cerrato:
Modal Tree-Sequents.
197-210 BibTeX
- Arthur W. Apter:
A Cardinal Pattern Inspired by AD.
211-218 BibTeX
- John L. Bell:
Polymodal Lattices and Polymodal Logic.
219-233 BibTeX
- Lo Czukai, Renren Liu:
The Maximal Closed Classes of Unary Functions in p-Valued Logic.
234-240 BibTeX
- Valentina S. Harizanov:
Effectively and Noneffectively Nowhere Simple Sets.
241-248 BibTeX
- Xiaoding Yi:
Splittings of 0' into the Recursively Enumerable Degrees.
249-269 BibTeX
- Andrea Cantini:
Asymmetric Interpretations for Bounded Theories.
270-288 BibTeX
- John L. Bell, Silvia Gebellato:
Precovers, Modalities and Universal Closure Operators in a Topos.
289-299 BibTeX
- Silvio Valentini:
Decidability in Intuitionistic Type Theory is Functionally Decidable.
300-304 BibTeX
- Giacomo Bonanno:
On the Logic of Common Belief.
305-311 BibTeX
- Holger Petersen:
The Computation of Partial Recursive Word-Functions Without Read Instructions.
312-318 BibTeX
- Matthias Baaz, Norbert Brunner, Karl Svozil:
The Axiom of Choice in Quantum Theory.
319-340 BibTeX
- Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez:
On Overspill Principles and Axiom Schemes for Bounded Formulas.
341-348 BibTeX
- Karim Nour:
Storage Operators and forall-positive Types in TTR Type System.
349-368 BibTeX
- Carlo Toffalori:
Decidability for Z[G]-Modules when G is Cyclic of Prime Order.
369-378 BibTeX
- Qing Zhou:
Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Sp ace.
379-409 BibTeX
- Paul E. Howard, Jean E. Rubin:
The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.
410-420 BibTeX
- Tapani Hyttinen:
Forking and Incomplete Types.
421-432 BibTeX
- Carlo Toffalori:
Some Decidability Results for Z[G]-Modules when G is Cyclic of Squarefree Order.
433-445 BibTeX
- Dario Maguolo, Silvio Valentini:
An Intuitionistic Version of Cantor's Theorem.
446-448 BibTeX
- George Tourlakis:
Recursion in Partial Type-1 Objects With Well-Behaved Oracles.
449-460 BibTeX
- Christopher J. Ash, Julia F. Knight:
Recursive Structures and Ershov's Hierarchy.
461-468 BibTeX
- Ivan N. Soskov:
Intrinsically Hyperarithmetical Sets.
469-480 BibTeX
- Frank Wolter:
Properties of Tense Logics.
481-500 BibTeX
- Guido Bertolotti, Pierangelo Miglioli, Daniela Silvestrini:
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.
501-536 BibTeX
- J. Donald Monk:
Minimum-sized Infinite Partitions of Boolean Algebras.
537-550 BibTeX
- Lawrence Peter Belluce, Antonio di Nola:
Yosida Type Representation for Perfect MV-Algebras.
551-563 BibTeX
- Kam-Chau Wong:
Computability of Minimizers and Separating Hyperplanes.
564-568 BibTeX
- Martin Grohe:
Some Remarks on Finite Löwenheim-Skolem Theorems.
569-571 BibTeX
Copyright © Sun May 17 00:13:42 2009
by Michael Ley (ley@uni-trier.de)
