default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml43.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AbramsonH78,
author = {Fred G. Abramson and
Leo Harrington},
title = {Models Without Indiscernibles},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {572--600},
year = {1978},
timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/AbramsonH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ArrudaQCC78,
author = {Ayda I. Arruda and
Francisco Miro Quesada and
Newton C. A. da Costa and
Rolando Chuaqui},
title = {Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {352--364},
year = {1978},
url = {https://doi.org/10.2307/2272833},
doi = {10.2307/2272833},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ArrudaQCC78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarendregtBKV78,
author = {Henk Barendregt and
Jan A. Bergstra and
Jan Willem Klop and
Henri Volken},
title = {Degrees of Sensible Lambda Theories},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {45--55},
year = {1978},
url = {https://doi.org/10.2307/2271947},
doi = {10.2307/2271947},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarendregtBKV78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarwiseKU78,
author = {Jon Barwise and
Kenneth Kunen and
Joseph S. Ullian},
title = {Annual Meeting of the Association for Symbolic Logic: Saint Louis,
1977},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {365--372},
year = {1978},
url = {https://doi.org/10.2307/2272834},
doi = {10.2307/2272834},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarwiseKU78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarwiseM78,
author = {Jon Barwise and
Yiannis N. Moschovakis},
title = {Global Inductive Definability},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {521--534},
year = {1978},
url = {https://doi.org/10.2307/2273529},
doi = {10.2307/2273529},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarwiseM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BednarekU78,
author = {Alexander R. Bednarek and
Stanislaw M. Ulam},
title = {Projective Algebra and the Calculus of Relations},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {56--64},
year = {1978},
url = {https://doi.org/10.2307/2271948},
doi = {10.2307/2271948},
timestamp = {Sat, 30 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BednarekU78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beeson78,
author = {Michael Beeson},
title = {A Type-Free Godel Interpretation},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {213--227},
year = {1978},
url = {https://doi.org/10.2307/2272820},
doi = {10.2307/2272820},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beeson78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beeson78a,
author = {Michael Beeson},
title = {Some Relations Between Classical and Constructive Mathematics},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {228--246},
year = {1978},
url = {https://doi.org/10.2307/2272821},
doi = {10.2307/2272821},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beeson78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Botts78,
author = {Truman Botts},
title = {What is the Conference Board of the Mathematical Sciences?},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {620--621},
year = {1978},
url = {https://doi.org/10.1017/S0022481200049495},
doi = {10.1017/S0022481200049495},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Botts78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bruce78,
author = {Kim B. Bruce},
title = {Ideal Models and Some Not so Ideal Problems in the Model Theory of
{L(Q)}},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {304--321},
year = {1978},
url = {https://doi.org/10.2307/2272829},
doi = {10.2307/2272829},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bruce78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BuchholzP78,
author = {Wilfried Buchholz and
Wolfram Pohlers},
title = {Provable Wellorderings of Formal Theories for Transfinitely Iterated
Inductive Definitions},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {118--125},
year = {1978},
url = {https://doi.org/10.2307/2271954},
doi = {10.2307/2271954},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BuchholzP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BunderM78,
author = {Martin W. Bunder and
Robert K. Meyer},
title = {On the Inconsistency of Systems Similar to {F} \({}^{\mbox{*}}\) \({}_{\mbox{
21}}\)},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {1--2},
year = {1978},
url = {https://doi.org/10.2307/2271943},
doi = {10.2307/2271943},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BunderM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BunderS78,
author = {Martin W. Bunder and
Jonathan P. Seldin},
title = {Some Anomalies in Fitch's System {QD}},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {247--249},
year = {1978},
url = {https://doi.org/10.2307/2272822},
doi = {10.2307/2272822},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BunderS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Burgess78,
author = {John P. Burgess},
title = {On the Hanf Number of Souslin Logic},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {568--571},
year = {1978},
url = {https://doi.org/10.2307/2273533},
doi = {10.2307/2273533},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Burgess78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cutland78,
author = {Nigel J. Cutland},
title = {Sigma\({}_{\mbox{1}}\)-Compactness in Languages Stronger than L\({}_{\mbox{A}}\)},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {508--520},
year = {1978},
url = {https://doi.org/10.2307/2273528},
doi = {10.2307/2273528},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cutland78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ferro78,
author = {Ruggero Ferro},
title = {Interpolation Theorems for {L} \({}^{\mbox{2+}}\) \({}_{\mbox{k, k}}\)},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {535--549},
year = {1978},
url = {https://doi.org/10.2307/2273530},
doi = {10.2307/2273530},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ferro78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GalvinJM78,
author = {Fred Galvin and
Thomas Jech and
Menachem Magidor},
title = {An Ideal Game},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {284--292},
year = {1978},
url = {https://doi.org/10.2307/2272827},
doi = {10.2307/2272827},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GalvinJM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodman78,
author = {Nicolas D. Goodman},
title = {Relativized Realizability in Intuitionistic Arithmetic of All Finite
Types},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {23--44},
year = {1978},
url = {https://doi.org/10.2307/2271946},
doi = {10.2307/2271946},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodman78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodman78a,
author = {Nicolas D. Goodman},
title = {The Nonconstructive Content of Sentences of Arithmetic},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {497--501},
year = {1978},
url = {https://doi.org/10.2307/2273526},
doi = {10.2307/2273526},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodman78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Green78,
author = {Judy Green},
title = {kappa-Suslin Logic},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {659--666},
year = {1978},
url = {https://doi.org/10.2307/2273505},
doi = {10.2307/2273505},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Green78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harrington78,
author = {Leo Harrington},
title = {Analytic Determinacy and 0 \({}^{\mbox{{\#}}}\)},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {685--693},
year = {1978},
url = {https://doi.org/10.2307/2273508},
doi = {10.2307/2273508},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Harrington78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hirschfeld78,
author = {Joram Hirschfeld},
title = {Examples in the Theory of Existential Completeness},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {650--658},
year = {1978},
url = {https://doi.org/10.2307/2273504},
doi = {10.2307/2273504},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hirschfeld78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodes78,
author = {Harold T. Hodes},
title = {Uniform Upper Bounds on Ideals of Turing Degrees},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {601--612},
year = {1978},
url = {https://doi.org/10.2307/2273535},
doi = {10.2307/2273535},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodes78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HowardRR78,
author = {Paul E. Howard and
Arthur L. Rubin and
Jean E. Rubin},
title = {Independence Results for Class Forms of the Axiom of Choice},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {673--684},
year = {1978},
url = {https://doi.org/10.2307/2273507},
doi = {10.2307/2273507},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HowardRR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschP78,
author = {Carl G. Jockusch Jr. and
David B. Posner},
title = {Double Jumps of Minimal Degrees},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {715--724},
year = {1978},
url = {https://doi.org/10.2307/2273510},
doi = {10.2307/2273510},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschSTT78,
author = {Carl G. Jockusch Jr. and
Robert I. Soare and
William W. Tait and
Gaisi Takeuti},
title = {Meeting of the Association for Symbolic Logic: Chicago, 1977},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {614--619},
year = {1978},
url = {https://doi.org/10.2307/2273537},
doi = {10.2307/2273537},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschSTT78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Johnson78,
author = {Nancy Johnson},
title = {Classifications of Generalized Index Sets of Open Classes},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {694--714},
year = {1978},
url = {https://doi.org/10.2307/2273509},
doi = {10.2307/2273509},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Johnson78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jones78,
author = {James P. Jones},
title = {Three Universal Representations of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {335--351},
year = {1978},
url = {https://doi.org/10.2307/2272832},
doi = {10.2307/2272832},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jones78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kalantari78,
author = {Iraj Kalantari},
title = {Major Subspaces of Recursively Enumerable Vector Spaces},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {293--303},
year = {1978},
url = {https://doi.org/10.2307/2272828},
doi = {10.2307/2272828},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kalantari78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kechris78,
author = {Alexander S. Kechris},
title = {Minimal Upper Bounds for Sequences of triangle\({}^{\mbox{1}}\) \({}_{\mbox{
2n}}\) -Degrees},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {502--507},
year = {1978},
url = {https://doi.org/10.2307/2273527},
doi = {10.2307/2273527},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kechris78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kechris78a,
author = {Alexander S. Kechris},
title = {The Perfect Set Theorem and Definable Wellorderings of the Continuum},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {630--634},
year = {1978},
url = {https://doi.org/10.2307/2273501},
doi = {10.2307/2273501},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kechris78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Keisler78,
author = {H. Jerome Keisler},
title = {The Stability Function of a Theory},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {481--486},
year = {1978},
url = {https://doi.org/10.2307/2273523},
doi = {10.2307/2273523},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Keisler78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kleene78,
author = {Stephen Cole Kleene},
title = {An Addendum to The Work of Kurt G{\"{o}}del},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {613},
year = {1978},
url = {https://doi.org/10.2307/2273536},
doi = {10.2307/2273536},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kleene78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight78,
author = {Julia F. Knight},
title = {An Inelastic Model with Indiscernibles},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {331--334},
year = {1978},
url = {https://doi.org/10.2307/2272831},
doi = {10.2307/2272831},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight78a,
author = {Julia F. Knight},
title = {Prime and Atomic Models},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {385--393},
year = {1978},
url = {https://doi.org/10.2307/2273516},
doi = {10.2307/2273516},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kunen78,
author = {Kenneth Kunen},
title = {Saturated Ideals},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {65--76},
year = {1978},
url = {https://doi.org/10.2307/2271949},
doi = {10.2307/2271949},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kunen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Leggett78,
author = {Anne Leggett},
title = {alpha-Degrees of Maximal a-R.E. Sets},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {456--474},
year = {1978},
url = {https://doi.org/10.2307/2273521},
doi = {10.2307/2273521},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Leggett78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lih78,
author = {Ko{-}Wei Lih},
title = {Type Two Partial Degrees},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {623--629},
year = {1978},
url = {https://doi.org/10.2307/2273500},
doi = {10.2307/2273500},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lih78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Maass78,
author = {Wolfgang Maass},
title = {The Uniform Regular Set Theorem in a-Recursion Theory},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {270--279},
year = {1978},
url = {https://doi.org/10.2307/2272825},
doi = {10.2307/2272825},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Maass78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mills78,
author = {George Mills},
title = {A Model of Peano Arithmetic with no Elementary End Extension},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {563--567},
year = {1978},
url = {https://doi.org/10.2307/2273532},
doi = {10.2307/2273532},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mills78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Normann78,
author = {Dag Normann},
title = {A Continuous Functional with Noncollapsing Hierarchy},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {487--491},
year = {1978},
url = {https://doi.org/10.2307/2273524},
doi = {10.2307/2273524},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Normann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Paris78,
author = {Jeff B. Paris},
title = {Note on an Induction Axiom},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {113--117},
year = {1978},
url = {https://doi.org/10.2307/2271953},
doi = {10.2307/2271953},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Paris78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Paris78a,
author = {Jeff B. Paris},
title = {Some Independence Results for Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {725--731},
year = {1978},
url = {https://doi.org/10.2307/2273511},
doi = {10.2307/2273511},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Paris78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay78,
author = {Anand Pillay},
title = {Number of Countable Models},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {492--496},
year = {1978},
url = {https://doi.org/10.2307/2273525},
doi = {10.2307/2273525},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pohlers78,
author = {Wolfram Pohlers},
title = {Ordinals Connected with Formal Theories for Transfinitely Iterated
Inductive Definitions},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {161--182},
year = {1978},
url = {https://doi.org/10.2307/2272816},
doi = {10.2307/2272816},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pohlers78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PosnerE78,
author = {David B. Posner and
R. Epstein},
title = {Diagonalization in Degree Constructions},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {280--283},
year = {1978},
url = {https://doi.org/10.2307/2272826},
doi = {10.2307/2272826},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PosnerE78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PriscoH78,
author = {Carlos A. Di Prisco and
James M. Henle},
title = {On the Compactness of N\({}_{\mbox{1}}\) and N\({}_{\mbox{2}}\)},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {394--401},
year = {1978},
url = {https://doi.org/10.2307/2273517},
doi = {10.2307/2273517},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PriscoH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel78,
author = {Jeffrey B. Remmel},
title = {A r-Maximal Vector Space not contained in any Maximal Vector Space},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {430--441},
year = {1978},
url = {https://doi.org/10.2307/2273519},
doi = {10.2307/2273519},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Retzlaff78,
author = {Allen Retzlaff},
title = {Simple and Hyperhypersimple Vector Spaces},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {260--269},
year = {1978},
url = {https://doi.org/10.2307/2272824},
doi = {10.2307/2272824},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Retzlaff78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rose78,
author = {Bruce I. Rose},
title = {Rings which Admit Elimination of Quantifiers},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {92--112},
year = {1978},
url = {https://doi.org/10.2307/2271952},
doi = {10.2307/2271952},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rose78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rose78a,
author = {Alan Rose},
title = {Formalisations of Further N\({}_{\mbox{0}}\)-Valued Lukasiewicz Propositional
Calculi},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {207--210},
year = {1978},
url = {https://doi.org/10.2307/2272818},
doi = {10.2307/2272818},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Rose78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rose78b,
author = {Bruce I. Rose},
title = {The N\({}_{\mbox{1}}\)-Categoricity of Strictly Upper Triangular Matrix
Rings Over Algebraically Closed Fields},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {250--259},
year = {1978},
url = {https://doi.org/10.2307/2272823},
doi = {10.2307/2272823},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rose78b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Saracino78,
author = {Dan Saracino},
title = {Existentially Complete Torsion-Free Nilpotent Groups},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {126--134},
year = {1978},
url = {https://doi.org/10.2307/2271955},
doi = {10.2307/2271955},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Saracino78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schlipf78,
author = {John S. Schlipf},
title = {Toward Model Theory Through Recursive Saturation},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {183--206},
year = {1978},
url = {https://doi.org/10.2307/2272817},
doi = {10.2307/2272817},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schlipf78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schumm78,
author = {George F. Schumm},
title = {An Incomplete Nonnormal Extension of {S3}},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {211--212},
year = {1978},
url = {https://doi.org/10.2307/2272819},
doi = {10.2307/2272819},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schumm78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Seldin78,
author = {Jonathan P. Seldin},
title = {A Sequent Calculus Formulation of Type Assignment with Equality Rules
for the lambda beta-Calculus},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {643--649},
year = {1978},
url = {https://doi.org/10.2307/2273503},
doi = {10.2307/2273503},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Seldin78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah78,
author = {Saharon Shelah},
title = {On the Number of Minimal Models},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {475--480},
year = {1978},
url = {https://doi.org/10.2307/2273522},
doi = {10.2307/2273522},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah78a,
author = {Saharon Shelah},
title = {End Extensions and Numbers of Countable Models},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {550--562},
year = {1978},
url = {https://doi.org/10.2307/2273531},
doi = {10.2307/2273531},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shore78,
author = {Richard A. Shore},
title = {Controlling the Dependence Degree of a Recursive Enumerable Vector
Space},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {13--22},
year = {1978},
url = {https://doi.org/10.2307/2271945},
doi = {10.2307/2271945},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shore78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shore78a,
author = {Richard A. Shore},
title = {Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {43},
number = {2},
pages = {322--330},
year = {1978},
url = {https://doi.org/10.2307/2272830},
doi = {10.2307/2272830},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shore78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Simpson78,
author = {Stephen G. Simpson},
title = {Sets Which Do Not Have Subsets of Every Higher Degree},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {135--138},
year = {1978},
url = {https://doi.org/10.2307/2271956},
doi = {10.2307/2271956},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Simpson78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Singer78,
author = {Michael F. Singer},
title = {The Model Theory of Ordered Differential Fields},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {82--91},
year = {1978},
url = {https://doi.org/10.2307/2271951},
doi = {10.2307/2271951},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Singer78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Solomon78,
author = {Martin K. Solomon},
title = {Some Results on Measure Independent Godel Speed-Ups},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {667--672},
year = {1978},
url = {https://doi.org/10.2307/2273506},
doi = {10.2307/2273506},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Solomon78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stepanek78,
author = {Petr Step{\'{a}}nek},
title = {Cardinal Collapsing and Ordinal Definability},
journal = {J. Symb. Log.},
volume = {43},
number = {4},
pages = {635--642},
year = {1978},
url = {https://doi.org/10.2307/2273502},
doi = {10.2307/2273502},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stepanek78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Swart78,
author = {Harrie C. M. de Swart},
title = {First Steps in Intuitionistic Model Theory},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {3--12},
year = {1978},
url = {https://doi.org/10.2307/2271944},
doi = {10.2307/2271944},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Swart78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wesep78,
author = {Robert A. Van Wesep},
title = {Separation Principles and the Axiom of Determinateness},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {77--81},
year = {1978},
url = {https://doi.org/10.2307/2271950},
doi = {10.2307/2271950},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wesep78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wheeler78,
author = {William H. Wheeler},
title = {A Characterization of Companionable, Universal Theories},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {402--429},
year = {1978},
url = {https://doi.org/10.2307/2273518},
doi = {10.2307/2273518},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wheeler78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Woodrow78,
author = {Robert E. Woodrow},
title = {Theories with a Finite Number of Countable Models},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {442--455},
year = {1978},
url = {https://doi.org/10.2307/2273520},
doi = {10.2307/2273520},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Woodrow78.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.
retrieved on 2024-10-21 21:15 CEST from data curated 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:
