Volume 46,
Number 1,
January 2000
- Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley:
Compactness in Countable Tychonoff Products and Choice.
3-16
Electronic Edition (link) BibTeX
- Erik Palmgren:
An Effective Conservation Result for Nonstandard Arithmetic.
17-23
Electronic Edition (link) BibTeX
- Olivier Esser, Roland Hinnion:
Large Cardinals and Ramifiability for Directed Sets.
25-34
Electronic Edition (link) BibTeX
- Kyriakos Keremedis, Eleftherios Tachtsis:
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice.
35-44
Electronic Edition (link) BibTeX
- Victor Pambuccian:
Another Constructive Axiomatization of Euclidean Planes.
45-48
Electronic Edition (link) BibTeX
- Giacomo Bonanno, Klaus Nehring:
Common Belief with the Logic of Individual Belief.
49-52
Electronic Edition (link) BibTeX
- Lu Hong, Decheng Ding, Lei Qian:
A Splitting with Infimum in the d-c. e. Degrees.
53-76
Electronic Edition (link) BibTeX
- Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying:
Approximate Reasoning Based on Similarity.
77-86
Electronic Edition (link) BibTeX
- Pierre Matet:
Partition Relations for Strongly Normal Ideals on Pkappa(lambda).
87-103
Electronic Edition (link) BibTeX
- Takeshi Yamazaki:
Some More Conservation Results on the Baire Category Theorem.
105-110
Electronic Edition (link) BibTeX
- Henryk Kotlarski, Bozena Piekart:
Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely.
111-120
Electronic Edition (link) BibTeX
- Jan von Plato:
A Problem of Normal Form in Natural Deduction.
121-124
Electronic Edition (link) BibTeX
- Peter M. Schuster:
A Constructive Look at Generalised Cauchy Reals.
125-134
Electronic Edition (link) BibTeX
- Hajime Ishihara:
A Note on the Gödel-Gentzen Translation.
135-137
Electronic Edition (link) BibTeX
- Douglas S. Bridges, Ayan Mahalanobis:
Sequential Continuity of Functions in Constructive Analysis.
139-143
Electronic Edition (link) BibTeX
Volume 46,
Number 2,
May 2000
- Wolfgang Degen, Jan Johannsen:
Cumulative Higher-Order Logic as a Foundation for Set Theory.
147-170
Electronic Edition (link) BibTeX
- Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.
171-182
Electronic Edition (link) BibTeX
- Daniel Dzierzgowski, Olivier Esser, Roland Hinnion:
Fixed-points of Set-continuous Operators.
183-198
Electronic Edition (link) BibTeX
- Mojtaba Aghaei, Mohammad Ardeshir:
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.
199-206
Electronic Edition (link) BibTeX
- Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki:
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.
207-218
Electronic Edition (link) BibTeX
- Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley:
Paracompactness of Metric Spaces and the Axiom of Multiple Choice.
219-232
Electronic Edition (link) BibTeX
- Hans-E. Porst:
The Essentially Equational Theory of Horn Classes.
233-240
Electronic Edition (link) BibTeX
- Jörg Brendle:
Martin's Axiom and the Dual Distributivity Number.
241-248
Electronic Edition (link) BibTeX
- Chris Pollett:
Translating I-Delta0 + exp Proofs into Weaker Systems.
249-256
Electronic Edition (link) BibTeX
- Giuseppe Longo:
Prototype Proofs in Type Theory.
257-266
Electronic Edition (link) BibTeX
- Ivo Düntsch, Ewa Orlowska:
Logics of Complementarity in Information Systems.
267-288
Electronic Edition (link) BibTeX
Volume 46,
Number 3,
August 2000
Volume 46,
Number 4,
October 2000
- Eric Rosen, Jerzy Tyszkiewicz:
SO(forall-exist*) Sentences and Their Asymptotic Probabilities.
435-452
Electronic Edition (link) BibTeX
- Arthur W. Apter:
Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.
453-459
Electronic Edition (link) BibTeX
- Volker Halbach, Leon Horsten:
Two Proof-Theoretic Remarks on EA + ECT.
461-466
Electronic Edition (link) BibTeX
- Bakhadyr Khoussainov:
On Computability Theoretic Properties of Structures and Their Cartesian Products.
467-475
Electronic Edition (link) BibTeX
- Enshao Shen, Yijia Chen:
The Downward Transfer of Elementary Satisfiability of Partition Logics.
477-487
Electronic Edition (link) BibTeX
- Bernd Borchert, Frank Stephan:
Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.
489-504
Electronic Edition (link) BibTeX
- Richard Kaye, Henryk Kotlarski:
On Models Constructed by Means of the Arithmetized Completeness Theorem.
505-516
Electronic Edition (link) BibTeX
- Arnold Beckmann, Andreas Weiermann:
Analyzing Gödel's T Via Expanded Head Reduction Trees.
517-536
Electronic Edition (link) BibTeX
- Horst Herrlich, Kyriakos Keremedis:
On Countable Products of Finite Hausdorff Spaces.
537-542
Electronic Edition (link) BibTeX
- James H. Schmerl:
Graph Coloring and Reverse Mathematics.
543-548
Electronic Edition (link) BibTeX
- Paul E. Howard, Jean E. Rubin, Adrienne Stanley:
Von Rimscha's Transitivity Conditions.
549-554
Electronic Edition (link) BibTeX
- Steffen Lempp, André Nies:
Differences of Computably Enumerable Sets.
555-561
Electronic Edition (link) BibTeX
- Karl-Heinz Diener:
On kappa-hereditary Sets and Consequences of the Axiom of Choice.
563-568
Electronic Edition (link) BibTeX
- Kyriakos Keremedis:
The Compactness of 2R and the Axiom of Choice.
569-571
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:13:43 2009
by Michael Ley (ley@uni-trier.de)
