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