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