Volume 40,
1994
- Xiaokang Yu:
Lebesgue Convergence Theorems and Reverse Mathematics.
1-13
- Frieder Haug:
On Preservation of Stability for Finite Extensions of Abelian Groups.
14-26
- John L. Bell:
Fregean Extensions of First-Order Theories.
27-30
- Olga Kosheleva, Vladik Kreinovich:
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?
31-34
- Douglas S. Bridges, Hajime Ishihara:
Complements of Intersections in Constructive Mathematics.
35-43
- Andrei A. Kuzichev:
Translations of Logical Formulas and the Equiconsistency Problem.
44-50
- Antonín Sochor:
Choices of Convenient Sets.
51-60
- Jordi Rebagliato, Ventura Verdú:
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.
61-68
- Hirokazu Nishimura:
Boolean Valued and Stone Algebra Valued Measure Theories.
69-75
- Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.
76-86
- Stephan Wehner:
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is Sigma5-Complete.
87-94
- Bozena Piekart, Henryk Kotlarski:
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.
95-102
- Teresa Bigorajska:
Universal Induction and True Universal Arithmetic.
103-105
- Yuefei Sui:
A New Reducibility between Turing- and wtt-Reducibility.
106-110
- J. W. Degen:
Some Aspects and Examples of Infinity Notions.
111-124
- Carlo Toffalori, Annalisa Marcja:
Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View.
125-131
- Iain A. Stewart:
Monotonicity and the Expressibility of NP Operators.
132-140
- Stanley Burris:
Model Companions with Finitely Many Countable Models.
141-142
- John T. Baldwin, Masanori Itai:
K-generic Projective Planes have Morley Rank Two or Infinity.
143-152
- Tatsuya Shimura, Ryo Kashima:
Cut-Elimination Theorem for the Logic of Constant Domains.
153-172
- Christopher J. Ash, Julia F. Knight:
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas.
173-181
- Silvio Valentini:
Representation Theorems for Quantales.
182-190
- Daniel Gluschankof:
The Elementary Classes of Direct and Boolean Products.
191-203
- Victor L. Selivanov:
Recursiveness of omega-Operations.
204-206
- Claude Laflamme:
Bonnding and Dominating Number of Families of Functions on omega.
207-223
- Frank Stephan, Martin Kummer:
Effective Search Problems.
224-236
- Armin Hemmerling:
Navigation Without Perception of Coordinates and Distances.
237-260
- Andrea Sorbi, Sandra Fontani, Franco Montagna:
A Note on Relative Efficiency of Axiom Systems.
261-272
- Adam Cichon, Wilfried Buchholz, Andreas Weiermann:
A Uniform Approach to Fundamental Sequences and Hierarchies.
273-286
- Decheng Ding, Klaus Ambos-Spies:
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees.
287-317
- Larry Mathews:
Completions of Convexly Ordered Valuation Rings.
318-330
- Antonio di Nola, Lawrence Peter Belluce, Salvatore Sessa:
The Prime Spectrum of an MV-Algebra.
331-346
- Friederike Körner:
Cofinal Indiscernibles and some Applications to New Foundations.
347-356
- Giangiacomo Gerla:
An Extension Principle for Fuzzy Logics.
357-380
- Jouko A. Väänänen, Heikki Heikkilä:
Reflection of Long Game Formulas.
381-392
- Christopher J. Ash:
A Conjecture Concerning the Spectrum of a Sentence.
393-397
- Matthew Valeriote:
On Solvable Congruences in Finitely Decidable Varieties.
398-414
- Karl-Heinz Diener:
A Remark an Ascending Chain Conditions, the CouDtable Axiom of Choice and the Principle of Dependent Choices.
415-421
- Michael Deutsch:
A Note on the Theorems of Church-Turing and Trachtenbrot.
422-424
- Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit:
Maximum Schemes in Arithmetic.
425-430
- Antoni Torrens:
Cyclic Elements in MV-Algebras and Post Algebras.
431-444
- Larry Mathews:
Hilbert's 17th Problem for Real Closed Rings.
445-454
- Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.
455-477
- Bernhard Banaschewski:
A New Proof that "Krull implies Zorn''.
478-480
- Marcel Crabbé:
The Hauptsatz for Stratified Comprehension: A Semantic Proof.
481-489
- André Nies:
Recursively Enumerable Equivalence Relations Modulo Finite Differences.
490-518
- Douglas S. Bridges, Hajime Ishihara:
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.
519-527
- Makoto Kikuchi:
A Note on Boolos' Proof of the Incompleteness Theorem.
528-532
- Christine Gaßner:
The Axiom of Choice in Second-Order Predicate Logic.
533-546
- Athanassios Tzouvaras:
Omega- and Beta-Models of Alternative Set Theory.
547-569
Copyright © Tue Nov 24 20:50:39 2009
by Michael Ley (ley@uni-trier.de)
