Volume 58,
Number 1,
March 1993
Volume 58,
Number 2,
June 1993
- Bruno Poizat, Frank O. Wagner:
Sous-Groupes Periodiques d'un Groupe Stable.
385-400 BibTeX
- Tomek Bartoszynski, Haim Judah, Saharon Shelah:
The Cichon Diagram.
401-423 BibTeX
- Pawel Pazdyka:
Definability of Models by Means of Existential Formulas without Identity.
424-434 BibTeX
- Saharon Shelah, D. H. Fremlin:
Pointwise Compact and Stable Sets of Measurable Functions.
435-455 BibTeX
- Margarita Otero:
Quadratic Forms in Normal Open Induction.
456-476 BibTeX
- Andrea Cantini:
Extending the First-Order Theory of Combinators with Self-Referential Truth.
477-513 BibTeX
- Gerard Allwein, J. Michael Dunn:
Kripke Models for Linear Logic.
514-545 BibTeX
- Mark Kelly Davis, Ali Nesin:
On Solvable Centerless Groups of Morley Rank 3.
546-556 BibTeX
- Douglas K. Brown, Stephen G. Simpson:
The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic.
557-578 BibTeX
- Richard G. Heck Jr.:
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik.
579-601 BibTeX
- Sven Ove Hansson:
Theory Contraction and Base Contraction Unified.
602-625 BibTeX
- Yuichi Komori, Sachio Hirokawa:
The Number of Proofs for a BCK-Formula.
626-628 BibTeX
- Peter Cholak, Rodney G. Downey:
On the Cantor-Bendixon Rank of Recursively Enumerable Sets.
629-640 BibTeX
- M. H. Mourgues, Jean-Pierre Ressayre:
Every Real Closed Field Has an Integer Part.
641-647 BibTeX
- Ludomir Newelski:
Scott Analysis of Pseudotypes.
648-663 BibTeX
- Andreas Weiermann:
Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions.
664-671 BibTeX
- P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods:
Decidability and Undecidability of Theories with a Predicate for the Primes.
672-687 BibTeX
- Maria Luisa Bonet, Samuel R. Buss:
The Deduction Rule and Linear and Near-Linear Proof Simulations.
688-709 BibTeX
Volume 58,
Number 3,
September 1993
- Henk Barendregt, Martin W. Bunder, Wil Dekkers:
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.
769-788 BibTeX
- Makoto Tatsuta:
Uniqueness of Normal Proofs of Minimal Formulas.
789-799 BibTeX
- Dov M. Gabbay, Valentin B. Shehtman:
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
800-823 BibTeX
- Richard A. Shore, Theodore A. Slaman:
Working below a Highly Recursively Enumerable Degree.
824-859 BibTeX
- Carlos A. Di Prisco, James M. Henle:
Partitions of Products.
860-871 BibTeX
- G. P. Monro:
Logic, Sheaves, and Factorization Systems.
872-893 BibTeX
- Alexander S. Kechris:
Amenable Versus Hyperfinite Borel Equivalence Relations.
894-907 BibTeX
- Warren D. Goldfarb:
Random Models and Solvable Skolem Classes.
908-914 BibTeX
- Rafel Farré:
A Transfer Theorem for Henselian Valued and Ordered Fields.
915-930 BibTeX
- John R. Steel:
The Well-Foundedness of the Mitchell Order.
931-940 BibTeX
- Dror Ben-Arié, Haim Judah:
Delta31-Stability.
941-954 BibTeX
- Ya'acov Peterzil:
Reducts of Some Structures over the Reals.
955-966 BibTeX
- Alexander V. Chagrov, Michael Zakharyaschev:
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems.
967-1002 BibTeX
- Yde Venema:
Derivation Rules as Anti-Axioms in Modal Logic.
1003-1034 BibTeX
- Marion Scheepers:
Variations on a Game of Gale (I): Coding Strategies.
1035-1043 BibTeX
- Frank O. Wagner:
Quasi-Endomorphisms in Small Stable Groups.
1044-1051 BibTeX
- Alan H. Mekler, Jouko A. Väänänen:
Trees and Pi11-Subsets of omega1\omega1.
1052-1070 BibTeX
- Jürgen Dix, Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations (Abstract).
1116-1117 BibTeX
Volume 58,
Number 4,
December 1993
- Greg Hjorth:
Thin Equivalence Relations and Effective Decompositions.
1153-1164 BibTeX
- Siu-Ah Ng:
A Remark on Locally Pure Measures.
1165-1170 BibTeX
- Rvszard Frankiewicz, Saharon Shelah, Pawel Zbierski:
On Closed P-Sets with ccc in the Space omega*.
1171-1176 BibTeX
- John Todd Hammond:
Nonisomorphism of Lattices of Recursively Enumerable Sets.
1177-1188 BibTeX
- Michael C. Laskowski, Saharon Shelah:
On the Existence of Atomic Models.
1189-1194 BibTeX
- Erik Palmgren:
A Note on Mathematics of infinity.
1195-1200 BibTeX
- Kecheng Liu:
Stationary Subsets of (aleph(omega)) < omega(n).
1201-1218 BibTeX
- Friedrich Wehrung:
Boolean Universes above Boolean Models.
1219-1250 BibTeX
- Stefano Stefani:
A Relativization Mechanism in Recursion Categories.
1251-1267 BibTeX
- Juris Steprans:
A Very Discontinuous Borel Function.
1268-1283 BibTeX
- Jörg Brendle:
Amoeba-Absoluteness and Projective Measurability.
1284-1290 BibTeX
- John T. Baldwin, Michael C. Laskowski, Saharon Shelah:
Forcing Isomorphism.
1291-1301 BibTeX
- Elisabeth Bouscaren, Michael C. Laskowski:
S-Homogeneity and Automorphism Groups.
1302-1322 BibTeX
- Martin Goldstern, Haim Judah, Saharon Shelah:
Strong Measure Zero Sets Without Cohen Reals.
1323-1341 BibTeX
- Daniel Gluschankof, François Lucas:
Hyper-Regular Lattice-Ordered Groups.
1342-1358 BibTeX
- James J. Moloney:
An Existence Theorem for a Special Ultrafilter when d = c.
1359-1364 BibTeX
- Mauro Ferrari, Pierangelo Miglioli:
Counting the Maximal Intermediate Constructive Logics.
1365-1401 BibTeX
- Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen:
On the Number of Automorphisms of Uncountable Models.
1402-1418 BibTeX
- Bradd Hart, Sergei Starchenko:
Addendum to ``A Structure Theorem for Strongly Abelian Varieties''.
1419-1425 BibTeX
- Hans Rott:
Belief Contraction in the Context for the General Theory of Rational Choice.
1426-1450 BibTeX
- Anatole Khelif:
The Bass-Milnor-Serre Theorem for Nonstandard Models in Peano Arithmetic.
1451-1458 BibTeX
Copyright © Tue Nov 18 20:42:55 2008
by Michael Ley (ley@uni-trier.de)
