The Journal of Symbolic Logic, Volume 58

Volume 58, Number 1, March 1993

• Joel Spencer:
  Zero-One Laws with Variable Probability. 1-14
  
• Penelope Maddy:
  Does V Equal L? 15-41
  
• Jacek Cichon, Andrzej Roslanowski, Juris Steprans, Bogdan Weglorz:
  Combinatorial Properties of the Ideal P₂. 42-54
  
• Masahiro Shioya:
  Weakly Normal Closures of Filters on P_kappalambda. 55-63
  
• Charalampos Cornaros, Costas Dimitracopoulos:
  A Note on Exponentiation. 64-71
  
• Haim Judah, Saharon Shelah:
  Delta¹₃-Sets of Reals. 72-80
  
• Shaughan Lavine:
  Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets. 81-98
  
• Andreas Knobel:
  Constructive Set Theoretic Models of Typed Combinatory Logic. 99-118
  
• Julius B. Barbanel:
  On the Relationship Between the Partition Property and the Weak Partition Property for Normal Ultrafilters on P_kappa lambda. 119-127
  
• Piotr Koszmider:
  On Coherent Families of Finite-to-One Functions. 128-138
  
• Marcus Kracht:
  Splittings and the Finite Model Property. 139-157
  
• Alexandra Shlapentokh:
  Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. 158-192
  
• Carl G. Jockusch Jr., Theodore A. Slaman:
  On the Sigma₂-Theory of the Upper Semilattice of Turing Degrees. 193-204
  
• Oleg V. Belegradek:
  Quasiunitriangular Groups. 205-218
  
• Masahiro Kumabe:
  Every n-Generic Degree Is a Minimal Cover of an n-Generic Degree. 219-231
  
• Akito Tsuboi:
  Algebraic Types and Automorphism Groups. 232-239
  
• James Cummings:
  Strong Ultrapowers and Long Core Models. 240-248
  
• Konstantin N. Ignatiev:
  On Strong Provability Predicates and the Associated Modal Logics. 249-290
  
• Robert S. Lubarsky:
  µ-Definable Sets of Integers. 291-313
  
• Edward L. Keenan:
  Natural Languages, Sortal Reducibility and Generalized Quantifiers. 314-325
  
• Sedki Boughattas:
  Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes. 326-333
  
• Philip Kremer:
  Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p. 334-349
  

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:
  Delta₃¹-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 Pi¹₁-Subsets of ^omega₁\omega₁. 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 Sat May 18 20:44:18 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page