Volume 57,
Number 1,
March 1992
- Shih Ping Tung:
Arithmetic Definability by Formulas with Two Quantifiers.
1-11 BibTeX
- Paola D'Aquino:
Local Behaviour of the Chebyshev Theorem in Models of I Delta0.
12-27 BibTeX
- Thierry Coquand:
An Intuitionistic Proof of Tychonoff's Theorem.
28-32 BibTeX
- Andrew M. Pitts:
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic.
33-52 BibTeX
- William I. Gasarch, Mark G. Pleszkoch, Robert Solovay:
Learning vi Queries in [+, <].
53-81 BibTeX
- Juha Oikkonen:
A Recursion Principle for Linear Orderings.
82-96 BibTeX
- Anand Pillay, Zeljko Sokolovic:
Superstable Differential Fields.
97-108 BibTeX
- David Marker, Ya'acov Peterzil, Anand Pillay:
Additive Reducts of Real Closed Fields.
109-117 BibTeX
- Libo Lo:
Functions and Functionals on Finite Systems.
118-130 BibTeX
- Albert Visser:
An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP.
131-165 BibTeX
- Dan Velleman:
On a Topological Construction of Juhasz and Shelah.
166-171 BibTeX
- Bosko Zivaljevic:
Lusin-Sierpinski Index for the Internal Sets.
172-178 BibTeX
- Douglas Albert, Robert Baldinger, John Rhodes:
Undecidability of the Identity Problem for Finite Semigroups.
179-192 BibTeX
- Ivo Herzog, Philipp Rothmaler:
Models with Regular Generic Types, Part IV.
193-199 BibTeX
- Victor Harnik, Michael Makkai:
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.
200-230 BibTeX
- Martin Otto:
Automorphism Properties of Stationary Logic.
231-237 BibTeX
- Daniel Lascar:
Les Automorphismes d'un Ensemble Fortement Minimal.
238-251 BibTeX
Volume 57,
Number 2,
June 1992
Volume 57,
Number 3,
September 1992
- Gisela M. Méndez:
Filters on the Space of Partitions Qk(lambda).
769-778 BibTeX
- Ya'acov Peterzil:
A Structure Theorem for Semibounded Sets in the Reals.
779-794 BibTeX
- Roy Dyckhoff:
Contraction-Free Sequent Calculi for Intuitionistic Logic.
795-807 BibTeX
- Jean-Louis Duret:
Équivalence élémentaire et Isomorphisme des Corps de Courbe sur un Corps Algébriquement Clos.
808-823 BibTeX
- Harvey Friedman, Robert K. Meyer:
Whither Relevant Arithmetic?
824-831 BibTeX
- Balázs Biró:
Non-Finite-Axiomatizability Results in Algebraic Logic.
832-843 BibTeX
- Franco Montagna:
Polynomially and Superexponentially Shorter Proofs in Fragments of Logic.
844-863 BibTeX
- Klaus Ambos-Spies, André Nies, Richard A. Shore:
The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability.
864-874 BibTeX
- Menachem Kojman, Saharon Shelah:
Nonexistence of Universal Orders in Many Cardinals.
875-891 BibTeX
- Alex Feldman:
Recursion Theory in a Lower Semilattice.
892-911 BibTeX
- Vladimir V. Rybakov:
Rules of Inference with Parameters for Intuitionistic Logic.
912-923 BibTeX
- M. D. G. Swaen:
A Characterization of ML in Many-Sorted Arithmetic with Conditional Application.
924-953 BibTeX
- Michael Rathjen:
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions.
954-969 BibTeX
- Yo Matsubara:
Saturated Ideals and the Singular Cardinal Hypothesis.
970-974 BibTeX
- Renling Jin:
The Isomorphism Property Versus the Special Model Axiom.
975-987 BibTeX
- Devdatt P. Dubhashi:
On Decidable Varieties of Heyting Algebras.
988-991 BibTeX
- H. D. Macpherson, Maurice Pouzet, Robert E. Woodrow:
Countable Structures of Given Age.
992-1010 BibTeX
- Renling Jin:
A Theorem on the Isomorphism Property.
1011-1017 BibTeX
- Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Is an Inference Rule?
1018-1045 BibTeX
- Eberhard Herrmann:
1-Reducibility Inside an m-Degree with a Maximal Set.
1046-1056 BibTeX
- Stuart T. Smith:
Prime Numbers and Factorization in IE1 and Weaker Systems.
1057-1085 BibTeX
- Avner Landver:
Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing.
1086-1107 BibTeX
- Gerhard Jäger, Barbara Primo:
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories.
1108-1119 BibTeX
- Steffen Lempp, Manuel Lerman:
The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility.
1120-1130 BibTeX
Volume 57,
Number 4,
December 1992
Copyright © Wed Jun 4 19:15:39 2008
by Michael Ley (ley@uni-trier.de)
