default search action
The Journal of Symbolic Logic, Volume 51
Volume 51, Number 1, March 1986
- Thomas John:
Recursion in Kolmogorov's R-Operator and the Ordinal sigma3. 1-11 - Pierre Matet:
Partitions and Filters. 12-21 - Bruno Poizat:
L = N L? 22-32 - Mitchell Spector:
Weak Partition Relations and Measurability. 33-38 - Matthew Foreman, Menachem Magidor, Saharon Shelah
:
0 # and Some Forcing Principles. 39-46 - Boban Velickovic
Jensen's Principles and the Novak Number of Partially Ordered Sets. 47-58 - Jan Mycielski:
Locally Finite Theories. 59-62 - David Marker:
Omitting Types in O-Minimal Theories. 63-74 - John Lawrence:
Tarski's Problem for Varieties of Groups with a Commutator Identity. 75-78 - Cornelia Kalfa:
Decision Problems Concerning Properties of Finite Sets of Equations. 79-87 - Rodney G. Downey, Lawrence V. Welch:
Splitting Properties of R. E. Sets and Degrees. 88-109 - Eberhard Herrmann:
The Index Set {e: We 1 X}. 110-116 - Paul Fischer:
Pairs Without Infimum in the Recursively Enumerable Weak Truth Table Degrees. 117-129 - Philip D. Welch:
The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees. 130-134 - Stefan Heinrich, C. Ward Henson
Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K. 135-146 - Péter Komjáth:
Stationary Reflection for Uncountable Cofinality. 147-151 - Fabio Bellissima:
Finitely Generated Free Heyting Algebras. 152-165 - W. B. Ewald:
Intuitionistic Tense and Modal Logic. 166-179 - Uri Abraham, Saharon Shelah
On the Intersection of Closed Unbounded Sets. 180-189 - Chris Freiling:
Axioms of Symmetry: Throwing Darts at the Real Number Line. 190-200 - Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui:
Pragmatic Truth and Approximation to Truth. 201-221 - Julia F. Knight:
Saturation of Homogeneous Resplendent Models. 222-224
Volume 51, Number 2, June 1986
- Klaus Ambos-Spies, Manuel Lerman:
Lattice Embeddings into the Recursively Enumerable Degrees. 257-272 - Peter Clote:
A Generalization of the Limit Lemma and Clopen Games. 273-291 - Eugene W. Madison, B. Zimmermann-Huisgen:
Combinatorial and Recursive Aspects of the Automorphism Group of the Countable Atomless Boolean Algebra. 292-301 - Rami P. Grossberg, Saharon Shelah:
On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A. 302-322 - Steven Buechler:
Maximal Chains in the Fundamental Order. 323-326 - Akihiro Kanamori:
Finest Partitions for Ultrafilters. 327-332 - Nicolas D. Goodman:
Replacement and Collection: A Correction. 333 - Françoise Delon:
Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees. 334-351 - Theodore A. Slaman:
On the Kleene Degrees of pi11 Sets. 352-359 - Andrea Cantini:
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. 360-373 - Simon Thomas:
Theories with Finitely Many Models. 374-376 - C. Ward Henson, H. Jerome Keisler:
On the Strength of Nonstandard Analysis. 377-386 - Nicolas D. Goodman:
Flagg Realizability in Arithmetic. 387-392 - Paul C. Gilmore:
Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. 393-411 - Terrence Millar:
Prime Models and Almost Decidability. 412-420 - Victor Harnik:
omega1-Like Recursively Saturated Models of Presburger's Arithmetic. 421-429 - Terrence Millar:
Recursive Categoricity and Persistence. 430-434 - J. C. E. Dekker:
The Inclusion-Exclusion Principle for Finitely Many Isolated Sets. 435-447 - Masazumi Hanazawa, Mitio Takano:
An Interpolation Theorem in Many-Valued Logic. 448-452 - Theodore A. Slaman:
Sigma1 Definitions with Parameters. 453-461 - Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates:
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. 480-502 - Phillip J. Staines:
Meeting of the Association for Symbolic Logic: Sydney, 1984. 503-506 - Andreas Blass, Louise Hay, Peter G. Hinman:
Meeting of the Association for Symbolic Logic: Chicago, 1985. 507-510
Volume 51, Number 3, September 1986
- Joji Takahashi:
A Saturation Property of Ideals and Weakly Compact Cardinals. 513-525 - R. Michael Canjar:
Small Filter Forcing. 526-546 - Stewart Baldwin:
Between Strong and Superstrong. 547-559 - Jacek Cichon
On Ideals of Subsets of the Plane and on Cohen Reals. 560-569 - Bruno Poizat:
Attention a la Marche! 570-585 - Miodrag Raskovic:
Completeness Theorem for Biprobability Models. 586-590 - Arthur W. Apter, James M. Henle:
Large Cardinal Structures Below alefomega. 591-603 - William S. Zwicker:
Pkappalambda Combinatorics II: The RK Ordering Beneath a Supercompact Measure. 604-616 - C. A. Johnson:
Distributive Ideals and Partition Relations. 617-625 - Jonathan P. Seldin:
On the Proof Theory of the Intermediate Logic MH. 626-647 - Moti Gitik:
On Precipitousness of the Nonstationary Ideal Over a Supercompact. 648-662 - John P. Burgess:
The Truth is Never Simple. 663-681 - Tsuyoshi Yukami:
Taking Out LK Parts from a Proof in Peano Arithmetic. 682-700 - Julius B. Barbanel:
Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property. 701-708 - Anand Pillay:
Some Remarks on Definable Equivalence Relations in O-Minimal Structures. 709-714 - Gabriel Srour:
The Independence Relation in Separably Closed Fields. 715-725 - Andreas Blass, Andre Scedrov:
Small Decidable Sheaves. 726-731 - Thomas G. McLaughlin:
Some Elementary Degree-Theoretic Reasons Why Structures Need Similarity Types. 732-747 - Andre Scedrov:
Some Properties of Epistemic Set Theory with Collection. 748-754 - Thomas G. Kucera:
Stability Theory for Topological Logic, with Applications to Topological Modules. 755-769 - Christine Ann Haught:
The Degrees Below A 1-Generic Degree < 0? 770-777 - Xavier Caicedo:
A Simple Solution to Friedman's Fourth Problem. 778-784 - Daniele Mundici:
Inverse Topological Systems and Compactness in Abstract Model Theory. 785-794 - Bruno Poizat:
A L'Ouest D'Eden. 795-816 - Jon Barwise, Solomon Feferman, David Israel:
Meeting of the Association for Symbolic Logic: Stanford, California, 1985. 832-862
Volume 51, Number 4, December 1986
- Wilfrid Hodges:
Alfred Tarski. 866-868 - Robert L. Vaught:
Alfred Tarski's Work in Model Theory. 869-882 - Bjarni Jónsson:
The Contributions of Alfred Tarski to General Algebra. 883-889 - George F. McNulty:
Alfred Tarski and Undecidable Theories. 890-898 - J. Donald Monk:
The Contributions of Alfred Tarski to Algebraic Logic. 899-906 - L. W. Szczerba:
Tarski and Geometry. 907-912 - Steven Givant:
Bibliography of Alfred Tarski. 913-941 - Gerhard Jäger:
A Boundedness Theorem In mathrmID1 (W). 942-947 - Jean-Louis Duret:
Sur La Theorie Elementaire Des Corps De Fonctions. 948-956 - Janusz Pawlikowski:
Why Solovay Real Produces Cohen Real. 957-968 - George Weaver, Jeffrey Welaish:
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics. 969-980 - Serban A. Basarab:
Transfer Principles for Pseudo Real Closed e-Fold Ordered Fields. 981-991 - James van Aken:
Axioms for the Set-Theoretic Hierarchy. 992-1004 - Ali Enayat:
Conservative Extensions of Models of Set Theory and Generalizations. 1005-1021 - Nobuyoshi Motohashi:
Preservation Theorem and Relativization Theorem For Cofinal Extensions. 1022-1028 - Shai Ben-David, Menachem Magidor:
The Weak □* is Really Weaker than the Full □. 1029-1033 - Julia F. Knight:
Degrees Coded in Jumps of Orderings. 1034-1042 - Terry Millar:
Bad Models in Nice Neighborhoods. 1043-1055 - Dan Velleman:
On a Combinatorial Principle of Hajnal and Komjath. 1056-1060 - Martin Davis, E. G. K. López-Escobar, Wilfried Sieg:
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. 1085-1092 - Walter Alexandre Carnielli:
Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. 1093-1103
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-11-11 21:17 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: