default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 45
Volume 45, Number 1, March 1980
- Thomas Jech, Menachem Magidor, William John Mitchell, Karel Prikry:
Precipitous Ideals. 1-8 - David Guaspari:
Definability in Models of Set Theory. 9-19 - Jeffrey B. Remmel:
On R.E. and CO-R.E. Vector Spaces with Nonextendible Bases. 20-34 - Victor Harnik:
Game Sentences, Recursive Saturation and Definability. 35-46 - J. Mead, George C. Nelson:
Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras. 47-55 - Saharon Shelah
:
A Note on Cardinal Exponentiation. 56-66 - Masahiko Sato:
A Cut-Free Gentzen-Type System for the Modal Logic S5. 67-84 - James E. Baumgartner:
Chains and Antichains in P(omega). 85-92 - Joram Hirschfeld:
Finite Forcing, Existential Types and Complete Types. 93-102 - John V. Tucker:
Computability and the Algebra of Fields: Some Affine Constructions. 103-120 - Alfred B. Manaster, Joseph G. Rosenstein:
Two-Dimensional Partial Orderings: Recursive Model Theory. 121-132 - Alfred B. Manaster, Joseph G. Rosenstein:
Two-Dimensional Partial Orderings: Undecidability. 133-143 - Larry M. Manevitz, Jonathan Stavi:
Triangle 02 Operators and Alternating Sentences in Arithmetic. 144-154 - Steven Garavaglia:
Decomposition of Totally Transcendental Modules. 155-164 - Corrado Böhm, Silvio Micali:
Minimal Forms in lambda-Calculus Computations. 165-171 - W. Richard Stark:
Martin's Axiom in the Model Theory of LA. 172-176
Volume 45, Number 2, June 1980
- John Bacon:
Substance and First-Order Quantification Over Individual-Concepts. 193-203 - Harold T. Hodes:
Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees. 204-220 - Willem J. Blok:
The Lattice of Modal Logics: An Algebraic Investigation. 221-236 - Richard Gostanian:
Constructible Models of Subsystems of ZF. 237-250 - Aaron Beller, Ami Litman:
A Strengthening of Jensen's Principles. 251-264 - Matatyahu Rubin, Saharon Shelah:
On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers. 265-283 - Lee Badger:
Beth's Property Fails in L < omega 1. 284-290 - Gregory L. Cherlin:
On 0-Categorical Nilrings. II. 291-301 - Anand Pillay:
Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models. 302-310 - Roger D. Maddux:
The Equational Theory of CA3 is Undecidable. 311-316 - Jeffrey B. Remmel:
Recursion Theory on Orderings. II. 317-333 - Wolfgang Thomas:
On the Bounded Monadic Theory of Well-Ordered Structures. 334-338 - Hirokazu Nishimura:
Sequential Method in Quantum Logic. 339-352 - Viggo Stoltenberg-Hansen:
On Computational Complexity in Weakly Admissible Structures. 353-358 - Christopher J. Ash, John W. Rosenthal:
Some Theories Associated with Algebraically Closed Fields. 359-362 - Daniel Leivant:
Innocuous Substitutions. 363-368 - Maurice Boffa, P. Henrard:
European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978. 386-414
Volume 45, Number 3, September 1980
- Victor L. Bennison:
Recursively Enumerable Complexity Sequences and Measure Independence. 417-438 - Kim B. Bruce:
Model Constructions in Stationary Logic. Part I. Forcing. 439-454 - William H. Wheeler:
Model Theory of Strictly Upper Triangular Matrix Rings. 455-463 - Hilary Putnam:
Models and Reality. 464-482 - René David:
A Result of Relative Consistency About the Predicate WO(delta, kappa). 483-492 - William A. Howard:
Ordinal Analysis of Terms of Finite Type. 493-504 - Saharon Shelah:
Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem. 505-509 - Daniel E. Cohen:
Degree Problems for Modular Machines. 510-528 - Frederic Brenton Fitch:
A Consistent Combinatory Logic with an Inverse to Equality. 529-543 - Wilfrid Hodges:
Constructing Pure Injective Hulls. 544-548 - Dag Normann, Stanley S. Wainer:
The 1-Section of a Countable Functional. 549-562 - Saharon Shelah:
Independence Results. 563-573 - Sabine Koppelberg:
Cardinalities of Ultraproducts of Finite Sets. 574-584 - James H. Schmerl:
Decidability and 0-Categoricity of Theories of Partially Ordered Sets. 585-611 - Mark E. Nadel:
On a Problem of MacDowell and Specker. 612-622 - Mitchell Spector:
A Measurable Cardinal with a Nonwellfounded Ultrapower. 623-628
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-10-31 20:04 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:
