Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml38.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AanderaaL73,
author = {St{\aa}l Aanderaa and
Harry R. Lewis},
title = {Prefix Classes of Krom Formulas},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {628--642},
year = {1973},
url = {https://doi.org/10.2307/2271987},
doi = {10.2307/2271987},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AanderaaL73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bacsich73,
author = {Paul D. Bacsich},
title = {Defining Algebraic Elements},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {93--101},
year = {1973},
url = {https://doi.org/10.2307/2271731},
doi = {10.2307/2271731},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bacsich73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Barendregt73,
author = {Henk Barendregt},
title = {A Characterization of Terms of the lambda I-Calculus Having a Normal
Form},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {441--445},
year = {1973},
url = {https://doi.org/10.2307/2273041},
doi = {10.2307/2273041},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Barendregt73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlumM73,
author = {Manuel Blum and
Ivan Marques},
title = {On Complexity Properties of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {579--593},
year = {1973},
url = {https://doi.org/10.2307/2271984},
doi = {10.2307/2271984},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlumM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cherlin73,
author = {Gregory L. Cherlin},
title = {Algebraically Closed Commutative Rings},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {493--499},
year = {1973},
url = {https://doi.org/10.2307/2273048},
doi = {10.2307/2273048},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cherlin73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Clark73,
author = {Ian D. Clark},
title = {An Axiomatisation of Quantum Logic},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {389--392},
year = {1973},
url = {https://doi.org/10.2307/2273030},
doi = {10.2307/2273030},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Clark73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cohn73,
author = {P. M. Cohn},
title = {The Word Problem for Free Fields},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {309--314},
year = {1973},
url = {https://doi.org/10.2307/2272067},
doi = {10.2307/2272067},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cohn73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper73,
author = {S. Barry Cooper},
title = {Minimal Degrees and the Jump Operator},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {249--271},
year = {1973},
url = {https://doi.org/10.2307/2272061},
doi = {10.2307/2272061},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Curry73,
author = {Haskell B. Curry},
title = {The Consistency of a System of Combinatory Restricted Generality},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {489--492},
year = {1973},
url = {https://doi.org/10.2307/2273047},
doi = {10.2307/2273047},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Curry73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Devlin73,
author = {Keith J. Devlin},
title = {Measurable Cardinals and a Combinatorial Principle of Jensen},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {551--560},
year = {1973},
url = {https://doi.org/10.2307/2271980},
doi = {10.2307/2271980},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Devlin73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ehrenfeucht73,
author = {Andrzej Ehrenfeucht},
title = {Discernible Elements in Models for Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {291--292},
year = {1973},
url = {https://doi.org/10.2307/2272063},
doi = {10.2307/2272063},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ehrenfeucht73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fitting73,
author = {Melvin Fitting},
title = {Model Existence Theorems for Modal and Intuitionistic Logics},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {613--627},
year = {1973},
url = {https://doi.org/10.2307/2271986},
doi = {10.2307/2271986},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fitting73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman73,
author = {Harvey Friedman},
title = {The Consistency of Classical Set Theory Relative to a Set Theory with
Intuitionistic Logic},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {315--319},
year = {1973},
url = {https://doi.org/10.2307/2272068},
doi = {10.2307/2272068},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Friedman73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman73a,
author = {Harvey M. Friedman},
title = {Borel Sets and Hyperdegrees},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {405--409},
year = {1973},
url = {https://doi.org/10.2307/2273034},
doi = {10.2307/2273034},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Friedman73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gabbay73,
author = {Dov M. Gabbay},
title = {The Undecidability of Intuitionistic Theories of Algebraically Closed
Fields and Real Closed Fields},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {86--92},
year = {1973},
url = {https://doi.org/10.2307/2271730},
doi = {10.2307/2271730},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gabbay73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GalvinP73,
author = {Fred Galvin and
Karel Prikry},
title = {Borel Sets and Ramsey's Theorem},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {193--198},
year = {1973},
url = {https://doi.org/10.2307/2272055},
doi = {10.2307/2272055},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GalvinP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodman73,
author = {Nicolas D. Goodman},
title = {The Faithfulness of the Interpretation of Arithmetic in the Theory
of Constructions},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {453--459},
year = {1973},
url = {https://doi.org/10.2307/2273043},
doi = {10.2307/2273043},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodman73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gregory73,
author = {John Gregory},
title = {Uncountable Models and Infinitary Elementary Extensions},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {460--470},
year = {1973},
url = {https://doi.org/10.2307/2273044},
doi = {10.2307/2273044},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gregory73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henson73,
author = {C. Ward Henson},
title = {Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's
"New Foundations"},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {59--68},
year = {1973},
url = {https://doi.org/10.2307/2271726},
doi = {10.2307/2271726},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henson73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henson73a,
author = {C. Ward Henson},
title = {Permutation Methods Applied to Quine's "New Foundations"},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {69--76},
year = {1973},
url = {https://doi.org/10.2307/2271727},
doi = {10.2307/2271727},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henson73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hinman73,
author = {Peter G. Hinman},
title = {Degrees of Continuous Functionals},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {393--395},
year = {1973},
url = {https://doi.org/10.2307/2273031},
doi = {10.2307/2273031},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hinman73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Howard73,
author = {Paul E. Howard},
title = {Limitations on the Fraenkel-Mostowski Method of Independence Proofs},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {416--422},
year = {1973},
url = {https://doi.org/10.2307/2273037},
doi = {10.2307/2273037},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Howard73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hughes73,
author = {Charles E. Hughes},
title = {Many-one Degrees Associated With Problems of Tag},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {1--17},
year = {1973},
url = {https://doi.org/10.2307/2271723},
doi = {10.2307/2271723},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hughes73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jeroslow73,
author = {Robert G. Jeroslow},
title = {Redundancies in the Hilbert-Bernays Derivability Conditions for G{\"{o}}del's
Second Incompleteness Theorem},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {359--367},
year = {1973},
url = {https://doi.org/10.2307/2273028},
doi = {10.2307/2273028},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jeroslow73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jockusch73,
author = {Carl G. Jockusch Jr.},
title = {An Application of sigma\({}^{\mbox{0}}\)\({}_{\mbox{4}}\) Determinancy
to the Degrees of Unsolvability},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {293--294},
year = {1973},
url = {https://doi.org/10.2307/2272064},
doi = {10.2307/2272064},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jockusch73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschS73,
author = {Carl G. Jockusch Jr. and
Robert I. Soare},
title = {Encodability of Kleene's {O}},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {437--440},
year = {1973},
url = {https://doi.org/10.2307/2273040},
doi = {10.2307/2273040},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschS73a,
author = {Carl G. Jockusch Jr. and
Robert I. Soare},
title = {Post's Problem and His Hypersimple Set},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {446--452},
year = {1973},
url = {https://doi.org/10.2307/2273042},
doi = {10.2307/2273042},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschS73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Johnson73,
author = {James S. Johnson},
title = {Axiom Systems for First Order Logic with Finitely Many Variables},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {576--578},
year = {1973},
url = {https://doi.org/10.2307/2271983},
doi = {10.2307/2271983},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Johnson73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KeislerW73,
author = {H. Jerome Keisler and
Wilbur Walkoe Jr.},
title = {The Diversity of Quantifier Prefixes},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {79--85},
year = {1973},
url = {https://doi.org/10.2307/2271729},
doi = {10.2307/2271729},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KeislerW73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kent73,
author = {Clement F. Kent},
title = {The Relation of {A} to Prov {A} in the Lindenbaum Sentence Algebra},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {295--298},
year = {1973},
url = {https://doi.org/10.2307/2272065},
doi = {10.2307/2272065},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kent73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kleinberg73,
author = {E. M. Kleinberg},
title = {Rowbottom Cardinals and Jonsson Cardinals are Almost the Same},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {423--427},
year = {1973},
url = {https://doi.org/10.2307/2273038},
doi = {10.2307/2273038},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kleinberg73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KleinbergS73,
author = {E. M. Kleinberg and
Joel I. Seiferas},
title = {Infinite Exponent Partition Relations and Well-Ordered Choice},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {299--308},
year = {1973},
url = {https://doi.org/10.2307/2272066},
doi = {10.2307/2272066},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KleinbergS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight73,
author = {Julia F. Knight},
title = {Complete Types and the Natural Numbers},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {413--415},
year = {1973},
url = {https://doi.org/10.2307/2273036},
doi = {10.2307/2273036},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight73a,
author = {Julia F. Knight},
title = {Generic Expansions of Structures},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {561--570},
year = {1973},
url = {https://doi.org/10.2307/2271981},
doi = {10.2307/2271981},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ladner73,
author = {Richard E. Ladner},
title = {Mitotic Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {199--211},
year = {1973},
url = {https://doi.org/10.2307/2272056},
doi = {10.2307/2272056},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Ladner73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lake73,
author = {John Lake},
title = {A Note on Modified Abstraction Principles},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {77--78},
year = {1973},
url = {https://doi.org/10.2307/2271728},
doi = {10.2307/2271728},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lake73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lake73a,
author = {John Lake},
title = {On an Ackermann-Type Set Theory},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {410--412},
year = {1973},
url = {https://doi.org/10.2307/2273035},
doi = {10.2307/2273035},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lake73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LewisG73,
author = {Harry R. Lewis and
Warren D. Goldfarb},
title = {The Decision Problem for Formulas with a Small Number of Atomic Subformulas},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {471--480},
year = {1973},
url = {https://doi.org/10.2307/2273045},
doi = {10.2307/2273045},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LewisG73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MacIntyre73,
author = {John MacIntyre},
title = {Noninitial Segments of the alpha-Degrees},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {368--388},
year = {1973},
url = {https://doi.org/10.2307/2273029},
doi = {10.2307/2273029},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MacIntyre73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MacIntyre73a,
author = {Angus Macintyre},
title = {The Word Problem for Division Rings},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {428--436},
year = {1973},
url = {https://doi.org/10.2307/2273039},
doi = {10.2307/2273039},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MacIntyre73a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MacIntyre73b,
author = {John MacIntyre},
title = {Minimal alpha-Recursion Theoretic Degrees},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {18--28},
year = {1973},
url = {https://doi.org/10.2307/2271724},
doi = {10.2307/2271724},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MacIntyre73b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mansfield73,
author = {Richard Mansfield},
title = {On the Possibility of a Sigma\({}^{\mbox{1}}\)\({}_{\mbox{2}}\) Well-Ordering
of the Baire Space},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {396--398},
year = {1973},
url = {https://doi.org/10.2307/2273032},
doi = {10.2307/2273032},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mansfield73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Marek73,
author = {Victor W. Marek},
title = {Observations Concerning Elementary Extensions of omega-Models. {II}},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {227--231},
year = {1973},
url = {https://doi.org/10.2307/2272059},
doi = {10.2307/2272059},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Marek73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MonkMS73,
author = {J. Donald Monk and
Jan Mycielski and
J{\"{u}}rgen Schmidt},
title = {Meeting of the Association for Symbolic Logic, Dallas 1973},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {541--549},
year = {1973},
url = {https://doi.org/10.2307/2273089},
doi = {10.2307/2273089},
timestamp = {Tue, 12 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/MonkMS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NerodeB73,
author = {Anil Nerode and
K. Jon Barwise},
title = {Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {348--358},
year = {1973},
url = {https://doi.org/10.2307/2272113},
doi = {10.2307/2272113},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NerodeB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Phillips73,
author = {Nicholas C. K. Phillips},
title = {The Set Theoretical Foundations of Nonstandard Analysis},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {189--192},
year = {1973},
url = {https://doi.org/10.2307/2272054},
doi = {10.2307/2272054},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Phillips73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pierce73,
author = {R. S. Pierce},
title = {Bases of Countable Boolean Algebras},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {212--214},
year = {1973},
url = {https://doi.org/10.2307/2272057},
doi = {10.2307/2272057},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pierce73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Robinson73,
author = {Abraham Robinson},
title = {Metamathematical Problems},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {500--516},
year = {1973},
url = {https://doi.org/10.2307/2273049},
doi = {10.2307/2273049},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Robinson73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Scanlon73,
author = {T. M. Scanlon},
title = {The Consistency of Number Theory Via Herbrand's Theorem},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {29--58},
year = {1973},
url = {https://doi.org/10.2307/2271725},
doi = {10.2307/2271725},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Scanlon73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Seldin73,
author = {Jonathan P. Seldin},
title = {Equality in {F} \({}_{\mbox{21}}\)},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {571--575},
year = {1973},
url = {https://doi.org/10.2307/2271982},
doi = {10.2307/2271982},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Seldin73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah73,
author = {Saharon Shelah},
title = {Weak Definability in Infinitary Languages},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {399--404},
year = {1973},
url = {https://doi.org/10.2307/2273033},
doi = {10.2307/2273033},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shepard73,
author = {Philip T. Shepard},
title = {A Finite Arithmetic},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {232--248},
year = {1973},
url = {https://doi.org/10.2307/2272060},
doi = {10.2307/2272060},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shepard73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Smorynski73,
author = {Craig Smorynski},
title = {Elementary Intuitionistic Theories},
journal = {J. Symb. Log.},
volume = {38},
number = {1},
pages = {102--134},
year = {1973},
url = {https://doi.org/10.2307/2271732},
doi = {10.2307/2271732},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Smorynski73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stavi73,
author = {Jonathan Stavi},
title = {A Converse of the Barwise Completeness Theorem},
journal = {J. Symb. Log.},
volume = {38},
number = {4},
pages = {594--612},
year = {1973},
url = {https://doi.org/10.2307/2271985},
doi = {10.2307/2271985},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stavi73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Suter73,
author = {Glen H. Suter},
title = {Recursive Elements and Constructive Extensions of Computable Local
Integral Domains},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {272--290},
year = {1973},
url = {https://doi.org/10.2307/2272062},
doi = {10.2307/2272062},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Suter73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Svenonius73,
author = {Lars Svenonius},
title = {On the First-Order Logic of Terms},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {177--188},
year = {1973},
url = {https://doi.org/10.2307/2272053},
doi = {10.2307/2272053},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Svenonius73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tharp73,
author = {Leslie H. Tharp},
title = {The Characterization of Monadic Logic},
journal = {J. Symb. Log.},
volume = {38},
number = {3},
pages = {481--488},
year = {1973},
url = {https://doi.org/10.2307/2273046},
doi = {10.2307/2273046},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tharp73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Titani73,
author = {Satoko Titani},
title = {A Proof of the Cut-Elimination Theorem in Simple Type Theory},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {215--226},
year = {1973},
url = {https://doi.org/10.2307/2272058},
doi = {10.2307/2272058},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Titani73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-24 10:31 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:
