Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2024-04-25 05:28 CEST 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:
