default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 46
Volume 46, Number 1, March 1981
- Erik Ellentuck:
Hyper-Torre Isols. 1-5 - Andre Boileau, André Joyal:
La Logique des Topos. 6-16 - William A. Howard:
Ordinal Analysis of Simple Cases of Bar Recursion. 17-30 - Mitchell Spector:
The kappa-Closed Unbounded Filter and Supercompact Cardinals. 31-40 - John R. Steel:
Determinateness and the Separation Property. 41-44 - Barbara Veit:
A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. 45-55 - Chantal Berline:
Rings Which Admit Elimination of Quantifiers. 56-58 - Akihiro Kanamori:
On P-Points Over a Measurable Cardinal. 59-66 - Frederic Brenton Fitch:
The Consistency of System Q. 67-76 - John T. Kearns:
Modal Semantics without Possible Worlds. 77-86 - E. G. K. López-Escobar:
On the Interpolation Theorem for the Logic of Constant Domains. 87-88 - Arthur W. Apter:
Changing Cofinalities and Infinite Exponents. 89-95 - Fred G. Abramson:
Locally Countable Models of sigma1-Separation. 96-100 - James H. Schmerl:
Decidability and Finite Axiomatizability of Theories of 0-Categorical Partially Ordered Sets. 101-120 - W. Gielen, Harrie C. M. de Swart, Wim Veldman:
The Continuum Hypothesis in Intuitionism. 121-136 - Bruno Poizat:
Sous-Groupes Definissables d'Un Groupe Stable. 137-146 - Andreas Blass:
Some Initial Segments of the Rudin-Keisler Ordering. 147-157 - Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg:
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. 180-190 - Daniel Halpern, William W. Tait, John T. Baldwin:
Meeting of the Association for Symbolic Logic: Biloxi, 1979. 191-198 - Alfred B. Manaster, Thomas H. Payne, David Harrah:
Meeting of the Association for Symbolic Logic: San Diego, 1979. 199-203 - Wilfred G. Malcolm, M. J. Cresswell:
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979. 204-206
Volume 46, Number 2, June 1981
- Dag Normann:
Countable Functionals and the Projective Hierarchy. 209-215 - Robert A. Di Paola:
A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions. 216-232 - G. Charlwood:
An Axiomatic Version of Positive Semilattice Relevance Logic. 233-239 - Daniel Leivant:
Implicational Complexity in Intuitionistic Arithmetic. 240-248 - Arthur W. Apter:
Measurability and Degrees of Strong Compactness. 249-254 - William S. Hatcher, Bernard R. Hodgson:
Complexity Bounds on Proofs. 255-258 - Craig Smorynski:
Recursively Saturated Nonstandard Models of Arithmetic. 259-286 - Adam Krawczyk:
Patterns of Projecta. 287-295 - Yuzuru Kakuda:
On a Condition for Cohen Extensions which Preserve Precipitous Ideals. 296-300 - Michael Makkai:
An Example Concerning Scott Heights. 301-318 - Michael C. Nagle:
The Decidability of Normal K5 Logics. 319-328 - Craig Smorynski:
Calculating Self-Referential Statements: Guaspari Sentences of the First Kind. 329-344 - Saharon Shelah
:
Canonization Theorems and Applications. 345-353 - Warren D. Goldfarb:
On the Godel Class with Identity. 354-364 - Shizuo Kamo:
Nonstandard Natural Number Systems and Nonstandard Models. 365-376 - Julia F. Knight:
Algebraic Independence. 377-384 - Peter la Roche:
Effective Galois Theory. 385-392 - Wlodzimierz Zadrozny:
A New Inner Model for ZFC. 393-396 - Terrence Millar:
Vaught's Theorem Recursively Revisited. 397-411 - John N. Crossley, Lloyd Humberstone:
Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979. 424-426 - George Boolos, Sy D. Friedman, Harold Hodes:
Meeting of the Association for Symbolic Logic: New York 1979. 427-434 - F. R. Drake, Stanley S. Wainer:
European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. 435-446
Volume 46, Number 3, September 1981
- John L. Bell:
Isomorphism of Structures in S-Toposes. 449-459 - Robert P. Daley:
Busy Beaver Sets and the Degrees of Unsolvability. 460-474 - Ralph Kopperman:
First-Order Topological Axioms. 475-489 - Douglas E. Miller:
The Metamathematics of Model Theory: Discovering Language in Action. 490-498 - Pat Rogers:
Preservation of Saturation and Stability in a Variety of Nilpotent Groups. 499-512 - Bruno Poizat:
Theories Instables. 513-522 - Daniele Mundici:
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. 523-530 - Daniel Leivant:
On the Proof Theory of the Modal Logic for Arithmetic Provability. 531-538 - J. C. E. Dekker:
Twilight Graphs. 539-571 - Jeffrey B. Remmel:
Recursive Isomorphism Types of Recursive Boolean Algebras. 572-594 - Jeffrey B. Remmel:
Recursive Boolean Algebras with Recursive Atoms. 595-616 - Charlotte Lin:
Recursively Presented Abelian Groups: Effective p-Group Theory. I. 617-624 - Jan Mycielski:
Analysis Without Actual Infinity. 625-633 - Jean-Yves Girard, Peter Päppinghaus:
A Result on Implications of sigma;1-Sentences and Its Application to Normal Form Theorems. 634-642 - E. M. Kleinberg:
Producing Measurable Cardinals Beyond kappa. 643-648 - Willard Van Orman Quine:
Predicate Functors Revisited. 649-652 - Hao Wang:
Some Facts About Kurt Godel. 653-659 - Richard Boyd:
Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977. 677-689 - Leszek Pacholski, Jedrzej Wierzejewski:
Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. 690-702
Volume 46, Number 4, December 1981
- David B. Posner:
The Upper Semilattice of Degrees <0? Is Complemented. 705-713 - David B. Posner, Robert W. Robinson:
Degrees Joining to 0? 714-722 - Linda Jean Richter:
Degrees of Structures. 723-731 - Andreas Blass:
The Model of Set Theory Generated by Countably Many Generic Reals. 732-752 - Harold T. Hodes:
Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy. 753-760 - Gregory L. Cherlin, Peter H. Schmitt:
Undecidable Lt Theories of Topological Abelian Groups. 761-772 - E. G. K. López-Escobar:
Equivalence Between Semantics for Intuitionism. I. 773-780 - Alan H. Mekler:
Stability of Nilpotent Groups of Class 2 and Prime Exponent. 781-788 - Alfred B. Manaster, Jeffrey B. Remmel:
Partial Orderings of Fixed Finite Dimension: Model Companions and Density. 789-802 - Alexander S. Kechris:
Forcing With \triangle Perfect Trees and Minimal \triangle-Degrees. 803-816 - William Weiss:
The Equivalence of a Generalized Martin's Axiom to a Combinatorial Principle. 817-821 - Howard Becker:
Ad and the Supercompactness of 1. 822-842 - Volker Weispfenning:
The Model-Theoretic Significance of Complemented Existential Formulas. 843-850 - Rick L. Smith:
Effective Aspects of Profinite Groups. 851-863
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-08 20:34 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:
