default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 43
Volume 43, Number 1, March 1978
- Martin W. Bunder, Robert K. Meyer:
On the Inconsistency of Systems Similar to F * 21. 1-2 - Harrie C. M. de Swart:
First Steps in Intuitionistic Model Theory. 3-12 - Richard A. Shore:
Controlling the Dependence Degree of a Recursive Enumerable Vector Space. 13-22 - Nicolas D. Goodman:
Relativized Realizability in Intuitionistic Arithmetic of All Finite Types. 23-44 - Henk Barendregt, Jan A. Bergstra, Jan Willem Klop, Henri Volken:
Degrees of Sensible Lambda Theories. 45-55 - Alexander R. Bednarek, Stanislaw M. Ulam:
Projective Algebra and the Calculus of Relations. 56-64 - Kenneth Kunen:
Saturated Ideals. 65-76 - Robert A. Van Wesep:
Separation Principles and the Axiom of Determinateness. 77-81 - Michael F. Singer:
The Model Theory of Ordered Differential Fields. 82-91 - Bruce I. Rose:
Rings which Admit Elimination of Quantifiers. 92-112 - Jeff B. Paris:
Note on an Induction Axiom. 113-117 - Wilfried Buchholz, Wolfram Pohlers:
Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. 118-125 - Dan Saracino:
Existentially Complete Torsion-Free Nilpotent Groups. 126-134 - Stephen G. Simpson
:
Sets Which Do Not Have Subsets of Every Higher Degree. 135-138
Volume 43, Number 2, June 1978
- Wolfram Pohlers:
Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions. 161-182 - John S. Schlipf:
Toward Model Theory Through Recursive Saturation. 183-206 - Alan Rose:
Formalisations of Further N0-Valued Lukasiewicz Propositional Calculi. 207-210 - George F. Schumm:
An Incomplete Nonnormal Extension of S3. 211-212 - Michael Beeson:
A Type-Free Godel Interpretation. 213-227 - Michael Beeson:
Some Relations Between Classical and Constructive Mathematics. 228-246 - Martin W. Bunder, Jonathan P. Seldin:
Some Anomalies in Fitch's System QD. 247-249 - Bruce I. Rose:
The N1-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields. 250-259 - Allen Retzlaff:
Simple and Hyperhypersimple Vector Spaces. 260-269 - Wolfgang Maass:
The Uniform Regular Set Theorem in a-Recursion Theory. 270-279 - David B. Posner, R. Epstein:
Diagonalization in Degree Constructions. 280-283 - Fred Galvin, Thomas Jech, Menachem Magidor:
An Ideal Game. 284-292 - Iraj Kalantari:
Major Subspaces of Recursively Enumerable Vector Spaces. 293-303 - Kim B. Bruce:
Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). 304-321 - Richard A. Shore:
Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets. 322-330 - Julia F. Knight:
An Inelastic Model with Indiscernibles. 331-334 - James P. Jones:
Three Universal Representations of Recursively Enumerable Sets. 335-351 - Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. da Costa, Rolando Chuaqui:
Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. 352-364 - Jon Barwise, Kenneth Kunen, Joseph S. Ullian:
Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. 365-372
Volume 43, Number 3, September 1978
- Julia F. Knight:
Prime and Atomic Models. 385-393 - Carlos A. Di Prisco, James M. Henle:
On the Compactness of N1 and N2. 394-401 - William H. Wheeler:
A Characterization of Companionable, Universal Theories. 402-429 - Jeffrey B. Remmel:
A r-Maximal Vector Space not contained in any Maximal Vector Space. 430-441 - Robert E. Woodrow:
Theories with a Finite Number of Countable Models. 442-455 - Anne Leggett:
alpha-Degrees of Maximal a-R.E. Sets. 456-474 - Saharon Shelah:
On the Number of Minimal Models. 475-480 - H. Jerome Keisler:
The Stability Function of a Theory. 481-486 - Dag Normann:
A Continuous Functional with Noncollapsing Hierarchy. 487-491 - Anand Pillay:
Number of Countable Models. 492-496 - Nicolas D. Goodman:
The Nonconstructive Content of Sentences of Arithmetic. 497-501 - Alexander S. Kechris:
Minimal Upper Bounds for Sequences of triangle1 2n -Degrees. 502-507 - Nigel J. Cutland:
Sigma1-Compactness in Languages Stronger than LA. 508-520 - Jon Barwise, Yiannis N. Moschovakis:
Global Inductive Definability. 521-534 - Ruggero Ferro:
Interpolation Theorems for L 2+ k, k. 535-549 - Saharon Shelah:
End Extensions and Numbers of Countable Models. 550-562 - George Mills:
A Model of Peano Arithmetic with no Elementary End Extension. 563-567 - John P. Burgess:
On the Hanf Number of Souslin Logic. 568-571 - Fred G. Abramson, Leo Harrington:
Models Without Indiscernibles. J. Symb. Log. 43(3): 572-600 (1978) - Harold T. Hodes:
Uniform Upper Bounds on Ideals of Turing Degrees. 601-612 - Stephen Cole Kleene:
An Addendum to The Work of Kurt Gödel. 613 - Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti:
Meeting of the Association for Symbolic Logic: Chicago, 1977. 614-619 - Truman Botts:
What is the Conference Board of the Mathematical Sciences? 620-621
Volume 43, Number 4, December 1978
- Ko-Wei Lih:
Type Two Partial Degrees. 623-629 - Alexander S. Kechris:
The Perfect Set Theorem and Definable Wellorderings of the Continuum. 630-634 - Petr Stepánek:
Cardinal Collapsing and Ordinal Definability. 635-642 - Jonathan P. Seldin:
A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus. 643-649 - Joram Hirschfeld:
Examples in the Theory of Existential Completeness. 650-658 - Judy Green:
kappa-Suslin Logic. 659-666 - Martin K. Solomon:
Some Results on Measure Independent Godel Speed-Ups. 667-672 - Paul E. Howard, Arthur L. Rubin, Jean E. Rubin:
Independence Results for Class Forms of the Axiom of Choice. 673-684 - Leo Harrington:
Analytic Determinacy and 0 #. 685-693 - Nancy Johnson:
Classifications of Generalized Index Sets of Open Classes. 694-714 - Carl G. Jockusch Jr., David B. Posner:
Double Jumps of Minimal Degrees. 715-724 - Jeff B. Paris:
Some Independence Results for Peano Arithmetic. 725-731
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-15 19:21 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:
