The Journal of Symbolic Logic, Volume 56

Volume 56, Number 1, March 1991

• Solomon Feferman:
  Reflecting on Incompleteness. 1-49
  
• Bosko Zivaljevic:
  The Structure of Graphs All of Whose Y-Sections Are Internal Sets. 50-66
  
• Kostas Hatzikiriakou:
  Minimal Prime Ideals and Arithmetic Comprehension. 67-70
  
• H. Jerome Keisler, Steven C. Leth:
  Meager Sets on the Hyperfinite Time Line. 71-102
  
• Maxim R. Burke:
  Powers of the Ideal of Lebesgue Measure Zero Sets. 103-107
  
• Dirk R. H. Schlingmann:
  Ramsey Cardinals, alpha-Erdös Cardinals, and the Core Model. 108-114
  
• Rami P. Grossberg:
  Indiscernable Sequences in a Model Which Fails to Have the Order Property. 115-123
  
• Rami P. Grossberg:
  On Chains of Relatively Saturated Submodels of a Model Without the Order Property. 124-128
  
• Gunnar Stålmarck:
  Normalization Theorems for Full First Order Classical Natural Deduction. 129-149
  
• Harold T. Hodes:
  Where Do Sets Come From? 150-175
  
• Simon Thomas:
  Reducts of the Random Graph. 176-181
  
• Alexander S. Kechris:
  Amenable Equivalence Relations and Turing Degrees. 182-194
  
• Seema Ahmad:
  Embedding the Diamond in the Sigma₂ Enumeration Degrees. 195-212
  
• Marcel Crabbé:
  Stratification and Cut-Elimination. 213-226
  
• Harold Schellinx:
  Isomorphisms and Nonisomorphisms of Graph Models. 227-249
  
• James Loveys:
  Abelian Groups with Modular Generic. 250-259
  
• Steve Jackson:
  Admissible Suslin Cardinals in L(R). 260-275
  
• Arnon Avron:
  Natural 3-Valued Logics - Characterization and Proof Theory. 276-294
  
• Daniel Gluschankof:
  The Elementary Class of Products of Totally Ordered Abelian Groups. 295-299
  
• Wilfried Hodges, Saharon Shelah:
  There Are Reasonably Nice Logics. 300-322
  
• Thomas Forster, Richard Kaye:
  End-Extensions Preserving Power Set. 323-328
  

Volume 56, Number 2, June 1991

• Grigori Mints:
  Proof Theory in the USSR 1925-1969. 385-424
  
• Paul Bankston:
  Corrigendum to ``Taxonomies of Model-Theoretically Defined Topological Properties''. 425-426
  
• Leszek Pacholski, Wieslaw Szwast:
  Asymptotic Probabilities of Existential Second-Order Gödel Structures. 427-438
  
• Kai Hauser:
  Indescribable Cardinals and Elementary Embeddings. 439-457
  
• Richard Kaye:
  A Generalization of Specker's Theorem on Typical Ambiguity. 458-466
  
• M. D. G. Swaen:
  The Logic of First Order Intuitionistic Type Theory with Weak Sigma-Elimination. 467-483
  
• Ido Efrat:
  The Elementary Theory of Free Pseudo p-adically Closed Fields of Finite Corank. 484-496
  
• Kevin Lano:
  Intuitionistic Modal Logic and Set Theory. 497-516
  
• Silvio Ghilardi:
  Incompleteness Results in Kripke Semantics. 517-538
  
• Luc Bélair:
  Anneaux p-Adiquement Clos et Anneaux de Fonctions Définissables. 539-553
  
• Robert Goldblatt:
  The McKinsey Axiom Is Not Canonical. 554-562
  
• Peter G. Hinman, Theodore A. Slaman:
  Jump Embeddings in Turing Degrees. 563-591
  
• Mitchell Spector:
  Extended Ultrapowers and the Vopenka-Hrbácek Theorem Without Choice. 592-607
  
• Michal Krynicki, Hans-Peter Tuschik:
  An Axiomatization of the Logic with the Rough Quantifier. 608-617
  
• I. Aguzarov, R. E. Farey, John B. Goode:
  An Infinite Superstable Group Has Infinitely Many Conjugacy Classes. 618-623
  
• John B. Goode:
  Some Trivial Considerations. 624-631
  
• Yiannis Vourtsanis:
  A Direct Proof of the Feferman-Vaught Theorem and Other Preservations Theorems in Products. 632-636
  
• Joseph Y. Halpern:
  Presburger Arithmetic with Unarr Predicates is Pi₁¹ Complete. 637-642
  
• Robert A. Di Paola, Franco Montagna:
  Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. 643-660
  
• Daniel N. Osherson, Michael Stob, Scott Weinstein:
  A Universal Inductive Inference Machine. 661-672
  
• Christopher J. Ash:
  A Construction for Recursive Linear Orderings. 673-683
  
• Carl G. Jockusch Jr., A. Lewis, Jeffrey B. Remmel:
  Pi⁰₁-Classes and Rado's Selection Principle. 684-693
  
• Ali Nesin:
  Poly-Separated and omega-Stable Nilpotent Groups. 694-699
  
• Sedki Boughattas:
  L'Arithemétique Ouverte et ses Modèles Non-Standards. 700-714
  
• Michael Rathjen:
  The Role of Parameters in Bar Rule and Bar Induction. 715-730
  
• Hirokazu Nishimura:
  Boolean Valued Lie Algebras. 731-741
  
• Steve Jackson, R. Daniel Mauldin:
  Nonuniformization Results for the Projective Hierarchy. 742-748
  

Volume 56, Number 3, September 1991

• Haim Judah, Saharon Shelah:
  Forcing Minimal Degree of Constructibility. 769-782
  
• Luc Bélair, Jean-Louis Duret:
  Définissabilité dans les Corps de Fonctions p-Adiques. 783-785
  
• Marion Scheepers:
  Concerning n-Tactics in the Countable-Finite Game. 786-794
  
• Jörg Brendle:
  Larger Cardinals in Cichon's Diagram. 795-810
  
• Margarita Otero:
  Corrigendum: On Diophantine Equations Solvable in Models of Open Induction. 811-812
  
• Siu-Ah Ng:
  A Generalization of Forking. 813-822
  
• Siu-Ah Ng:
  Definable FN Bases. 823-831
  
• Bradd Hart, Matthew Valeriote:
  A Structure Theorem for Strongly Abelian Varieties with Few Models. 832-852
  
• Françoise Delon, Danielle Gondard:
  XVIIème Problème de Hilbert sur les Corps Chaiîne-Clos. 853-861
  
• Michael Scanlan:
  Who Were the American Postulate Theorists. 981-1002
  
• Masanori Itai:
  On the Strong Martin Conjecture. 862-875
  
• Dugald Macpherson, James H. Schmerl:
  Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures. 876-884
  
• Zofia Adamowicz:
  On Maximal Theories. 885-890
  
• Leonard M. Adleman, Manuel Blum:
  Inductive Inference and Unsolvability. 891-900
  
• Kees Doets:
  Axiomatizing Universal Properties of Quantifiers. 901-905
  
• Bosko Zivaljevic:
  U-Meager Sets when the Cofinality and the Coinitiality of U Are Uncountable. 906-914
  
• Ali Nesin:
  On Bad Groups, Bad Fields, and Pseudoplanes. 915-931
  
• M. Victoria Marshall, Rolando Chuaqui:
  Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms. 932-948
  
• Richard Kaye:
  Model-Theoretic Properties Characterizing Peano Arithmetic. 949-963
  
• Jaap van Oosten:
  Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. 964-973
  
• Françoise Delon:
  Plongement Dense d'un Corps Ordonné dans sa Clôture Réelle. 974-980
  
• Anand Pillay:
  Some Remarks on Modular Regular Types. 1003-1011
  
• Erik Palmgren:
  A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe. 1012-1015
  
• H. Jerome Keisler, James H. Schmerl:
  Making the Hyperreal Line Both Saturated and Complete. 1016-1025
  
• Frank O. Wagner:
  Small Stable Groups and Generics. 1026-1037
  
• Gaisi Takeuti:
  A Second Order Version of Sⁱ₂ and U¹₂. 1038-1063
  
• R. Zrotowski:
  Normality and P(kappa)/J. 1064-1067
  
• Martin Kummer:
  Diagonals and Semihyperhypersimple Sets. 1068-1074
  
• Masahiro Kumabe:
  Relative Recursive Enumerability of Generic Degrees. 1075-1084
  

Volume 56, Number 4, December 1991

• Heinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen:
  The Härtig Quantifier: A Survey. 1153-1183
  
• Steven Buechler:
  Pseudoprojective Strongly Minimal Sets Are Locally Projective. 1184-1194
  
• James E. Baumgartner, Otmar Spinas:
  Independence and Consistency Proofs in Quadratic Form Theory. 1195-1211
  
• Robert Bonnet, Matatyahu Rubin:
  Elementary Embeddings Between Countable Boolean Algebras. 1212-1229
  
• Franco Parlamento, Alberto Policriti:
  Expressing Infinity Without Foundation. 1230-1235
  
• Françoise Delon:
  Indécidabilité de la Théorie des Paires Immédiates de Corps Valués Henseliens. 1236-1242
  
• Colin McLarty:
  Axiomatizing a Category of Categories. 1243-1260
  
• L. A. Chagrova:
  An Undecidable Problem in Correspondence Theory. 1261-1272
  
• Jacek Cichon, M. Morayne, Janusz Pawlikowski, Slawomir Solecki:
  Decomposing Baire Functions. 1273-1283
  
• Z. Balogh, G. Gruenhage:
  On a Problem of C. H. Dowker. 1284-1289
  
• Shaughan Lavine:
  Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory. 1290-1316
  
• Dugald Macpherson:
  Interpreting Groups in omega-Categorical Structures. 1317-1324
  
• Tom Linton:
  Countable Structures, Ehrenfeucht Stratagies, and Wadge Reductions. 1325-1348
  
• Hajime Ishihara:
  Continuity and Nondiscontinuity in Constructive Mathematics. 1349-1354
  
• Stanley Burris, Ralph McKenzie, Matthew Valeriote:
  Decidable Discriminator Varieties from Unary Varieties. 1355-1368
  
• Alessandro Andretta:
  Building Iteration Trees. 1369-1384
  
• Andreas Baudisch:
  A Construction of Superstable NDOP-NOTOP Groups. 1385-1390
  
• Ali Nesin:
  Generalized Fitting Subgroup of a Group of Finite Morley Rank. 1391-1399
  
• Péter Komjáth:
  A Set Mapping with No Infinite Free Subsets. 1400-1402
  
• V. Michele Abrusci:
  Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. 1403-1451
  
• James Cain, Zlatan Damnjanovic:
  On the Weak Kleene Scheme in Kripke's Theory of Truth. 1452-1468
  
• Marcus Kracht, Frank Wolter:
  Properties of Independently Axiomatizable Bimodal Logics. 1469-1485
  
• Harold T. Hodes:
  Corrections to ``Where Do Sets Come From?''. 1486
  

Last update Tue Feb 14 04:21:04 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page