default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 Sigma2 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 Pi11 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., Andrew E. M. Lewis, Jeffrey B. Remmel:
Pi01-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 Si2 and U12. 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 G. 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, Gary 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
