default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/journals/jsyml/jsyml46.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/jsyml/Abramson81,
  author       = {Fred G. Abramson},
  title        = {Locally Countable Models of sigma\({}_{\mbox{1}}\)-Separation},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {96--100},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273262},
  doi          = {10.2307/2273262},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Abramson81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Apter81,
  author       = {Arthur W. Apter},
  title        = {Changing Cofinalities and Infinite Exponents},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {89--95},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273261},
  doi          = {10.2307/2273261},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Apter81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Apter81a,
  author       = {Arthur W. Apter},
  title        = {Measurability and Degrees of Strong Compactness},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {249--254},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273618},
  doi          = {10.2307/2273618},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Apter81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ArrudaCCM81,
  author       = {Ayda I. Arruda and
                  Rolando Chuaqui and
                  Newton C. A. da Costa and
                  Irene F. Mikenberg},
  title        = {Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {180--190},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273279},
  doi          = {10.2307/2273279},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ArrudaCCM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Becker81,
  author       = {Howard Becker},
  title        = {Ad and the Supercompactness of \({}_{\mbox{1}}\)},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {822--842},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273231},
  doi          = {10.2307/2273231},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Becker81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bell81,
  author       = {John L. Bell},
  title        = {Isomorphism of Structures in S-Toposes},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {449--459},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273748},
  doi          = {10.2307/2273748},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bell81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Berline81,
  author       = {Chantal Berline},
  title        = {Rings Which Admit Elimination of Quantifiers},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {56--58},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273256},
  doi          = {10.2307/2273256},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Berline81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Blass81,
  author       = {Andreas Blass},
  title        = {Some Initial Segments of the Rudin-Keisler Ordering},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {147--157},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273266},
  doi          = {10.2307/2273266},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Blass81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Blass81a,
  author       = {Andreas Blass},
  title        = {The Model of Set Theory Generated by Countably Many Generic Reals},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {732--752},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273223},
  doi          = {10.2307/2273223},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Blass81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BoileauJ81,
  author       = {Andre Boileau and
                  Andr{\'{e}} Joyal},
  title        = {La Logique des Topos},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {6--16},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273251},
  doi          = {10.2307/2273251},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BoileauJ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BoolosFH81,
  author       = {George Boolos and
                  Sy D. Friedman and
                  Harold Hodes},
  title        = {Meeting of the Association for Symbolic Logic: New York 1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {427--434},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273640},
  doi          = {10.2307/2273640},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BoolosFH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Boyd81,
  author       = {Richard Boyd},
  title        = {Annual Meeting of the Association for Symbolic Logic: Washington,
                  {DC} 1977},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {677--689},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273778},
  doi          = {10.2307/2273778},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Boyd81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Charlwood81,
  author       = {G. Charlwood},
  title        = {An Axiomatic Version of Positive Semilattice Relevance Logic},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {233--239},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273616},
  doi          = {10.2307/2273616},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Charlwood81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/CherlinS81,
  author       = {Gregory L. Cherlin and
                  Peter H. Schmitt},
  title        = {Undecidable Lt Theories of Topological Abelian Groups},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {761--772},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273225},
  doi          = {10.2307/2273225},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/CherlinS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/CrossleyH81,
  author       = {John N. Crossley and
                  Lloyd Humberstone},
  title        = {Meeting of the Association for Symbolic Logic: Melbourne, Australia
                  1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {424--426},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273639},
  doi          = {10.2307/2273639},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/CrossleyH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Daley81,
  author       = {Robert P. Daley},
  title        = {Busy Beaver Sets and the Degrees of Unsolvability},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {460--474},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273749},
  doi          = {10.2307/2273749},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Daley81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Dekker81,
  author       = {J. C. E. Dekker},
  title        = {Twilight Graphs},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {539--571},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273756},
  doi          = {10.2307/2273756},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Dekker81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/DrakeW81,
  author       = {F. R. Drake and
                  Stanley S. Wainer},
  title        = {European Summer Meeting of the Association for Symbolic Logic: Leeds,
                  1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {435--446},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273641},
  doi          = {10.2307/2273641},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/DrakeW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Ellentuck81,
  author       = {Erik Ellentuck},
  title        = {Hyper-Torre Isols},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {1--5},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273250},
  doi          = {10.2307/2273250},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Ellentuck81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch81,
  author       = {Frederic Brenton Fitch},
  title        = {The Consistency of System {Q}},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {67--76},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273258},
  doi          = {10.2307/2273258},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/GielenSV81,
  author       = {W. Gielen and
                  Harrie C. M. de Swart and
                  Wim Veldman},
  title        = {The Continuum Hypothesis in Intuitionism},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {121--136},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273264},
  doi          = {10.2307/2273264},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/GielenSV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/GirardP81,
  author       = {Jean{-}Yves Girard and
                  Peter P{\"{a}}ppinghaus},
  title        = {A Result on Implications of sigma;\({}_{\mbox{1}}\)-Sentences and
                  Its Application to Normal Form Theorems},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {634--642},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273761},
  doi          = {10.2307/2273761},
  timestamp    = {Sat, 30 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/GirardP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Goldfarb81,
  author       = {Warren D. Goldfarb},
  title        = {On the Godel Class with Identity},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {354--364},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273627},
  doi          = {10.2307/2273627},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Goldfarb81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/HalpernTB81,
  author       = {Daniel Halpern and
                  William W. Tait and
                  John T. Baldwin},
  title        = {Meeting of the Association for Symbolic Logic: Biloxi, 1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {191--198},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273280},
  doi          = {10.2307/2273280},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/HalpernTB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/HatcherH81,
  author       = {William S. Hatcher and
                  Bernard R. Hodgson},
  title        = {Complexity Bounds on Proofs},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {255--258},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273619},
  doi          = {10.2307/2273619},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/HatcherH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hodes81,
  author       = {Harold T. Hodes},
  title        = {Upper Bounds on Locally Countable Admissible Initial Segments of a
                  Turing Degree Hierarchy},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {753--760},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273224},
  doi          = {10.2307/2273224},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hodes81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Howard81,
  author       = {William A. Howard},
  title        = {Ordinal Analysis of Simple Cases of Bar Recursion},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {17--30},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273252},
  doi          = {10.2307/2273252},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Howard81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kakuda81,
  author       = {Yuzuru Kakuda},
  title        = {On a Condition for Cohen Extensions which Preserve Precipitous Ideals},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {296--300},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273622},
  doi          = {10.2307/2273622},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kakuda81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kamo81,
  author       = {Shizuo Kamo},
  title        = {Nonstandard Natural Number Systems and Nonstandard Models},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {365--376},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273628},
  doi          = {10.2307/2273628},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kamo81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kanamori81,
  author       = {Akihiro Kanamori},
  title        = {On P-Points Over a Measurable Cardinal},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {59--66},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273257},
  doi          = {10.2307/2273257},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kanamori81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kearns81,
  author       = {John T. Kearns},
  title        = {Modal Semantics without Possible Worlds},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {77--86},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273259},
  doi          = {10.2307/2273259},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kearns81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kechris81,
  author       = {Alexander S. Kechris},
  title        = {Forcing With {\textbackslash}triangle Perfect Trees and Minimal {\textbackslash}triangle-Degrees},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {803--816},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273229},
  doi          = {10.2307/2273229},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kechris81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kleinberg81,
  author       = {E. M. Kleinberg},
  title        = {Producing Measurable Cardinals Beyond kappa},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {643--648},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273762},
  doi          = {10.2307/2273762},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kleinberg81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Knight81,
  author       = {Julia F. Knight},
  title        = {Algebraic Independence},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {377--384},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273629},
  doi          = {10.2307/2273629},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Knight81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kopperman81,
  author       = {Ralph Kopperman},
  title        = {First-Order Topological Axioms},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {475--489},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273750},
  doi          = {10.2307/2273750},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kopperman81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Krawczyk81,
  author       = {Adam Krawczyk},
  title        = {Patterns of Projecta},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {287--295},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273621},
  doi          = {10.2307/2273621},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Krawczyk81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Leivant81,
  author       = {Daniel Leivant},
  title        = {Implicational Complexity in Intuitionistic Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {240--248},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273617},
  doi          = {10.2307/2273617},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Leivant81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Leivant81a,
  author       = {Daniel Leivant},
  title        = {On the Proof Theory of the Modal Logic for Arithmetic Provability},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {531--538},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273755},
  doi          = {10.2307/2273755},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Leivant81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lin81,
  author       = {Charlotte Lin},
  title        = {Recursively Presented Abelian Groups: Effective p-Group Theory. {I}},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {617--624},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273759},
  doi          = {10.2307/2273759},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lin81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lopez-Escobar81,
  author       = {E. G. K. L{\'{o}}pez{-}Escobar},
  title        = {On the Interpolation Theorem for the Logic of Constant Domains},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {87--88},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273260},
  doi          = {10.2307/2273260},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lopez-Escobar81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lopez-Escobar81a,
  author       = {E. G. K. L{\'{o}}pez{-}Escobar},
  title        = {Equivalence Between Semantics for Intuitionism. {I}},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {773--780},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273226},
  doi          = {10.2307/2273226},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lopez-Escobar81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Makkai81,
  author       = {Michael Makkai},
  title        = {An Example Concerning Scott Heights},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {301--318},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273623},
  doi          = {10.2307/2273623},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Makkai81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MalcolmC81,
  author       = {Wilfred G. Malcolm and
                  M. J. Cresswell},
  title        = {Meeting of the Association for Symbolic Logic: Hamilton, New Zealand,
                  1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {204--206},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273282},
  doi          = {10.2307/2273282},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MalcolmC81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ManasterPH81,
  author       = {Alfred B. Manaster and
                  Thomas H. Payne and
                  David Harrah},
  title        = {Meeting of the Association for Symbolic Logic: San Diego, 1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {199--203},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273281},
  doi          = {10.2307/2273281},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ManasterPH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ManasterR81,
  author       = {Alfred B. Manaster and
                  Jeffrey B. Remmel},
  title        = {Partial Orderings of Fixed Finite Dimension: Model Companions and
                  Density},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {789--802},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273228},
  doi          = {10.2307/2273228},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ManasterR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mekler81,
  author       = {Alan H. Mekler},
  title        = {Stability of Nilpotent Groups of Class 2 and Prime Exponent},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {781--788},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273227},
  doi          = {10.2307/2273227},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mekler81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Millar81,
  author       = {Terrence Millar},
  title        = {Vaught's Theorem Recursively Revisited},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {397--411},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273632},
  doi          = {10.2307/2273632},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Millar81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Miller81,
  author       = {Douglas E. Miller},
  title        = {The Metamathematics of Model Theory: Discovering Language in Action},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {490--498},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273751},
  doi          = {10.2307/2273751},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Miller81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mundici81,
  author       = {Daniele Mundici},
  title        = {An Algebraic Result about Soft Model Theoretical Equivalence Relations
                  with an Application to H. Friedman's Fourth Problem},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {523--530},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273754},
  doi          = {10.2307/2273754},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mundici81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mycielski81,
  author       = {Jan Mycielski},
  title        = {Analysis Without Actual Infinity},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {625--633},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273760},
  doi          = {10.2307/2273760},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mycielski81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Nagle81,
  author       = {Michael C. Nagle},
  title        = {The Decidability of Normal {K5} Logics},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {319--328},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273624},
  doi          = {10.2307/2273624},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Nagle81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Normann81,
  author       = {Dag Normann},
  title        = {Countable Functionals and the Projective Hierarchy},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {209--215},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273614},
  doi          = {10.2307/2273614},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Normann81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/PacholskiW81,
  author       = {Leszek Pacholski and
                  Jedrzej Wierzejewski},
  title        = {Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland
                  1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {690--702},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273779},
  doi          = {10.2307/2273779},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/PacholskiW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Paola81,
  author       = {Robert A. Di Paola},
  title        = {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},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {216--232},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273615},
  doi          = {10.2307/2273615},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Paola81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Poizat81,
  author       = {Bruno Poizat},
  title        = {Sous-Groupes Definissables d'Un Groupe Stable},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {137--146},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273265},
  doi          = {10.2307/2273265},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Poizat81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Poizat81a,
  author       = {Bruno Poizat},
  title        = {Theories Instables},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {513--522},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273753},
  doi          = {10.2307/2273753},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Poizat81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Posner81,
  author       = {David B. Posner},
  title        = {The Upper Semilattice of Degrees {\textless}0? Is Complemented},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {705--713},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273220},
  doi          = {10.2307/2273220},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Posner81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/PosnerR81,
  author       = {David B. Posner and
                  Robert W. Robinson},
  title        = {Degrees Joining to 0?},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {714--722},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273221},
  doi          = {10.2307/2273221},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/PosnerR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine81,
  author       = {Willard Van Orman Quine},
  title        = {Predicate Functors Revisited},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {649--652},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273763},
  doi          = {10.2307/2273763},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Remmel81,
  author       = {Jeffrey B. Remmel},
  title        = {Recursive Isomorphism Types of Recursive Boolean Algebras},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {572--594},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273757},
  doi          = {10.2307/2273757},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Remmel81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Remmel81a,
  author       = {Jeffrey B. Remmel},
  title        = {Recursive Boolean Algebras with Recursive Atoms},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {595--616},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273758},
  doi          = {10.2307/2273758},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Remmel81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Richter81,
  author       = {Linda Jean Richter},
  title        = {Degrees of Structures},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {723--731},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273222},
  doi          = {10.2307/2273222},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Richter81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Roche81,
  author       = {Peter la Roche},
  title        = {Effective Galois Theory},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {385--392},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273630},
  doi          = {10.2307/2273630},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Roche81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rogers81,
  author       = {Pat Rogers},
  title        = {Preservation of Saturation and Stability in a Variety of Nilpotent
                  Groups},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {499--512},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273752},
  doi          = {10.2307/2273752},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rogers81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Schmerl81,
  author       = {James H. Schmerl},
  title        = {Decidability and Finite Axiomatizability of Theories of \({}_{\mbox{0}}\)-Categorical
                  Partially Ordered Sets},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {101--120},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273263},
  doi          = {10.2307/2273263},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Schmerl81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shelah81,
  author       = {Saharon Shelah},
  title        = {Canonization Theorems and Applications},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {345--353},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273626},
  doi          = {10.2307/2273626},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shelah81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Smith81,
  author       = {Rick L. Smith},
  title        = {Effective Aspects of Profinite Groups},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {851--863},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273233},
  doi          = {10.2307/2273233},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Smith81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Smorynski81,
  author       = {Craig Smorynski},
  title        = {Recursively Saturated Nonstandard Models of Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {259--286},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273620},
  doi          = {10.2307/2273620},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Smorynski81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Smorynski81a,
  author       = {Craig Smorynski},
  title        = {Calculating Self-Referential Statements: Guaspari Sentences of the
                  First Kind},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {329--344},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273625},
  doi          = {10.2307/2273625},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Smorynski81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Spector81,
  author       = {Mitchell Spector},
  title        = {The kappa-Closed Unbounded Filter and Supercompact Cardinals},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {31--40},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273253},
  doi          = {10.2307/2273253},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Spector81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Steel81,
  author       = {John R. Steel},
  title        = {Determinateness and the Separation Property},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {41--44},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273254},
  doi          = {10.2307/2273254},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Steel81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Veit81,
  author       = {Barbara Veit},
  title        = {A Proof of the Associated Sheaf Theorem by Means of Categorical Logic},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {1},
  pages        = {45--55},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273255},
  doi          = {10.2307/2273255},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Veit81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Wang81,
  author       = {Hao Wang},
  title        = {Some Facts About Kurt Godel},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {3},
  pages        = {653--659},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273764},
  doi          = {10.2307/2273764},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Wang81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Weispfenning81,
  author       = {Volker Weispfenning},
  title        = {The Model-Theoretic Significance of Complemented Existential Formulas},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {843--850},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273232},
  doi          = {10.2307/2273232},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Weispfenning81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Weiss81,
  author       = {William Weiss},
  title        = {The Equivalence of a Generalized Martin's Axiom to a Combinatorial
                  Principle},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {4},
  pages        = {817--821},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273230},
  doi          = {10.2307/2273230},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Weiss81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Zadrozny81,
  author       = {Wlodzimierz Zadrozny},
  title        = {A New Inner Model for {ZFC}},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {393--396},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273631},
  doi          = {10.2307/2273631},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Zadrozny81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.