default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 50
Volume 50, Number 1, March 1985
- Rodney G. Downey, Geoffrey R. Hird:
Automorphisms of Supermaximal Subspaces. 1-9 - Jean Benabou:
Fibered Categories and the Foundations of Naive Category Theory. 10-37 - C. G. McKay:
A Consistent Propositional Logic Without any Finite Models. 38-41 - Johann A. Makowsky:
Vopenka's Principle and Compact Logics. 42-48 - Zofia Adamowicz, Guillermo Morales-Luna:
A Recursive Model for Arithmetic with Weak Induction. 49-54 - Philip D. Welch:
Comparing Incomparable Kleene Degrees. 55-58 - Jean A. Larson:
The Number of One-Generated Cylindric Set Algebras of Dimension Greater than Two. 59-71 - George M. Wilmers:
Bounded Existential Induction. 72-90 - Robert Solovay:
Explicit Henkin Sentences. 91-93 - James E. Baumgartner, Peter Lars Dordal:
Adjoining Dominating Functions. 94-101 - Michael C. Nagle, Steven K. Thomason:
The Extensions of the Modal Logic K5. 102-109 - Howard Becker:
Determinacy of Banach Games. 110-122 - Victor Harnik:
Stability Theory and Set Existence Axioms. 123-137 - Wolfgang Maass:
Variations on Promptly Simple Sets. 138-148 - Kosta Dosen:
Sequent-Systems for Modal Logic. 149-168 - Hiroakira Ono, Yuichi Komori:
Logics Without the Contraction Rule. 169-201 - Mike Prest:
The Generalised RK-Order, Orthogonality and Regular Types for Modules. 202-219 - Michael Sheard:
Co-Critical Points of Elementary Embeddings. 220-226 - Walter Oberschelp, Britta Schinzel, Wolfgang Thomas, Michael M. Richter:
European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983. 259-283 - John T. Baldwin, Matt Kaufmann, Julia F. Knight:
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. 284-286
Volume 50, Number 2, June 1985
- John Mayberry:
Global Quantification in Zermelo-Fraenkel Set Theory. 289-301 - G. Sageev, Saharon Shelah
:
On the Structure of Ext(A, Z) in ZFC+. 302-315 - Daniel Lascar:
Quelques Precisions sur la D.O.P. et la Profondeur d'Une Theorie. 316-330 - Jacqueline Vauzeilles:
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??. 331-338 - Roel C. de Vrijer:
A Direct Proof of the Finite Developments Theorem. 339-343 - Nicolas D. Goodman:
Replacement and Collection in Intuitionistic Set Theory. 344-348 - John P. Hartley:
Effective Discontinuity and a Characterisation of the Superjump. 349-358 - Marc Bezem:
Isomorphisms Between HEO and HROE, ECF and ICFE. 359-371 - Julian L. Hook:
A Note on Interpretations of Many-Sorted Theories. 372-374 - Thomas J. Grilliot:
Disturbing Arithmetic. 375-379 - Andreas Rapp:
The Ordered Field of Real Numbers and Logics with Malitz Quantifiers. 380-389 - Peter Gärdenfors:
Propositional Logic Based on the Dynamics of Belief. 390-394 - Patrick Bellot:
A New Proof for Craig's Theorem. 395-396 - Franco Montagna, Andrea Sorbi:
Universal Recursion Theoretic Properties of R.E. Preordered Structures. 397-406 - Maurice Boffa, Paolo Casalegno:
The Consistency of Some 4-Stratified Subsystem of NF Including NF3. 407-411 - Robert Goldblatt:
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. 412-422 - Pavel Pudlák:
Cuts, Consistency Statements and Interpretations. 423-441 - Simon Thompson:
Axiomatic Recursion Theory and the Continuous Functionals. 442-450 - Ian A. Mason:
The Metatheory of the Classical Propositional Calculus is not Axiomatizable. 451-457 - Paul E. Howard:
Subgroups of a Free Group and the Axiom of Choice. 458-467 - Lou van den Dries, Rick L. Smith:
Decidable Regularly Closed Fields of Algebraic Numbers. 468-475 - Ali Enayat:
Weakly Compact Cardinals in Models of Set Theory. 476-486 - John K. Slaney:
3088 Varieties A Solution to the Ackermann Constant Problem. 487-501 - Marco Forti, Furio Honsell:
The Consistency of the Axiom of Universality for the Ordering of Cardinalities. 502-509 - Carlos E. Alchourrón, Peter Gärdenfors, David Makinson:
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. 510-530 - Arthur W. Apter:
An AD-Like Model. 531-543
Volume 50, Number 3, September 1985
- Robert S. Wolf:
Determinateness of Certain Almost-Borel Games. 569-579 - Paolo Casalegno:
On the T-Degrees of Partial Functions. 580-588 - Mohamed A. Amer:
Extension of Relatively |sigma-Additive Probabilities on Boolean Algebras of Logic. 589-596 - Moti Gitik, Menachem Magidor, W. Hugh Woodin:
Two Weak Consequences of 0#. 597-603 - Françoise Point:
Finitely Generic Models of T UH , for Certain Model Companionable Theories T. 604-610 - Annalisa Marcja, Carlo Toffalori:
On Cantor-Bendixson Spectra Containing (1, 1) II. 611-618 - Kit Fine:
Logics Containing K4. Part II. 619-651 - Marc Bezem:
Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. 652-660 - Simon Thompson:
Priority Arguments in the Continuous R. E. Degrees. 661-667 - Yuri Gurevich, Saharon Shelah:
The Decision Problem for Branching Time Logic. 668-681 - Daniel Leivant:
Syntactic Translations and Provably Recursive Functions. 682-688 - István Németi:
Cylindric-Relativised Set Algebras have Strong Amalgamation. 689-700 - Thomas E. Forster:
The Status of the Axiom of Choice in Set Theory with a Universal Set. 701-707 - Douglas N. Hoover:
A Probabilistic Interpolation Theorem. 708-713 - Stewart Shapiro:
Second-Order Languages and Mathematical Practice. 714-742 - Fritz Grunewald, Daniel Segal:
Decision Problems Concerning S-Arithmetic Groups. 743-772 - Mitchell Spector:
Model Theory Under the Axiom of Determinateness. 773-780 - Andreas Blass:
Acknowledgement of Priority. 781 - George Koletsos:
Church-Rosser Theorem for Typed Functional Systems. 782-790 - George Koletsos:
Functional Interpretation of the beta-Rule. 791-805 - Akito Tsuboi:
On Theories Having a Finite Number of Nonisomorphic Countable Models. 806-808 - Akito Tsuboi:
On the Number of Independent Partitions. 809-814 - Peter Roeper:
Generalisation of First-Order Logic to Nonatomic Domains. 815-838 - Kevin McEvoy:
Jumps of Quasi-Minimal Enumeration Degrees. 839-848
Volume 50, Number 4, December 1985
- Hajnal Andréka, István Németi:
On the Number of Generators of Cylindric Algebras. 865-873 - Yoshihiro Abe:
Some Results Concerning Strongly Compact Cardinals. 874-880 - Moti Gitik:
Nonsplitting Subset of P (+). 881-894 - Robert C. Flagg:
Epistemic Set Theory is a Conservative Extension of Intuitionistic Set Theory. 895-902 - John Bacon:
The Completeness of a Predicate-Functor Logic. 903-926 - Denis Richard:
Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility. 927-935 - Stewart Baldwin:
The -Ordering on Normal Ultrafilters. 936-952 - Anne Bauval:
Polynomial Rings and Weak Second-order Logic. 953-972 - Daniel Lascar:
Why Some People are Excited by Vaught's Conjecture. 973-982 - Kevin McEvoy, S. Barry Cooper:
On Minimal Pairs of Enumeration Degrees. 983-1001 - Sy D. Friedman:
A Guide to "Coding the Universe" by Beller, Jensen, Welch. 1002-1019 - Anand Pillay, Charles Steinhorn:
A Note on Nonmultidimensional Superstable Theories. 1020-1024 - Paul C. Eklof, Hans-Christian Mez:
The Ideal Structure of Existentially Closed Algebras. 1025-1043 - Steven Buechler:
The Geometry of Weakly Minimal Types. 1044-1053 - Steven Buechler:
One Theorem of Zil'ber's on Strongly Minimal Sets. 1054-1061 - Sauro Tulipani:
An Algorithm to Determine, For any Prime p, A Polynomial-Sized Horn Sentence which Expresses "The Cardinality is not p". 1062-1064 - Donald A. Martin, Terence Parsons, Alexander S. Kechris:
Annual Meeting of the Association for Symbolic Logic. 1094-1102
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:
