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