default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml45.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AshR80,
author = {Christopher J. Ash and
John W. Rosenthal},
title = {Some Theories Associated with Algebraically Closed Fields},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {359--362},
year = {1980},
url = {https://doi.org/10.2307/2273196},
doi = {10.2307/2273196},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AshR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bacon80,
author = {John Bacon},
title = {Substance and First-Order Quantification Over Individual-Concepts},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {193--203},
year = {1980},
url = {https://doi.org/10.2307/2273182},
doi = {10.2307/2273182},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bacon80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Badger80,
author = {Lee Badger},
title = {Beth's Property Fails in {L} \({}^{\mbox{{\textless} omega 1}}\)},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {284--290},
year = {1980},
url = {https://doi.org/10.2307/2273188},
doi = {10.2307/2273188},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Badger80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baumgartner80,
author = {James E. Baumgartner},
title = {Chains and Antichains in P(omega)},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {85--92},
year = {1980},
url = {https://doi.org/10.2307/2273356},
doi = {10.2307/2273356},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baumgartner80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BellerL80,
author = {Aaron Beller and
Ami Litman},
title = {A Strengthening of Jensen's Principles},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {251--264},
year = {1980},
url = {https://doi.org/10.2307/2273186},
doi = {10.2307/2273186},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BellerL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bennison80,
author = {Victor L. Bennison},
title = {Recursively Enumerable Complexity Sequences and Measure Independence},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {417--438},
year = {1980},
url = {https://doi.org/10.2307/2273412},
doi = {10.2307/2273412},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bennison80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Blok80,
author = {Willem J. Blok},
title = {The Lattice of Modal Logics: An Algebraic Investigation},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {221--236},
year = {1980},
url = {https://doi.org/10.2307/2273184},
doi = {10.2307/2273184},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Blok80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoffaH80,
author = {Maurice Boffa and
P. Henrard},
title = {European Meeting of the Association for Symbolic Logic, Mons, Belgium,
1978},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {386--414},
year = {1980},
url = {https://doi.org/10.2307/2273215},
doi = {10.2307/2273215},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BoffaH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BohmM80,
author = {Corrado B{\"{o}}hm and
Silvio Micali},
title = {Minimal Forms in lambda-Calculus Computations},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {165--171},
year = {1980},
url = {https://doi.org/10.2307/2273363},
doi = {10.2307/2273363},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BohmM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bruce80,
author = {Kim B. Bruce},
title = {Model Constructions in Stationary Logic. Part I. Forcing},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {439--454},
year = {1980},
url = {https://doi.org/10.2307/2273413},
doi = {10.2307/2273413},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bruce80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cherlin80,
author = {Gregory L. Cherlin},
title = {On \({}_{\mbox{0}}\)-Categorical Nilrings. {II}},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {291--301},
year = {1980},
url = {https://doi.org/10.2307/2273189},
doi = {10.2307/2273189},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cherlin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cohen80,
author = {Daniel E. Cohen},
title = {Degree Problems for Modular Machines},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {510--528},
year = {1980},
url = {https://doi.org/10.2307/2273419},
doi = {10.2307/2273419},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cohen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/David80,
author = {Ren{\'{e}} David},
title = {A Result of Relative Consistency About the Predicate WO(delta, kappa)},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {483--492},
year = {1980},
url = {https://doi.org/10.2307/2273416},
doi = {10.2307/2273416},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/David80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fitch80,
author = {Frederic Brenton Fitch},
title = {A Consistent Combinatory Logic with an Inverse to Equality},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {529--543},
year = {1980},
url = {https://doi.org/10.2307/2273420},
doi = {10.2307/2273420},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fitch80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Garavaglia80,
author = {Steven Garavaglia},
title = {Decomposition of Totally Transcendental Modules},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {155--164},
year = {1980},
url = {https://doi.org/10.2307/2273362},
doi = {10.2307/2273362},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Garavaglia80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gostanian80,
author = {Richard Gostanian},
title = {Constructible Models of Subsystems of {ZF}},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {237--250},
year = {1980},
url = {https://doi.org/10.2307/2273185},
doi = {10.2307/2273185},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Gostanian80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Guaspari80,
author = {David Guaspari},
title = {Definability in Models of Set Theory},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {9--19},
year = {1980},
url = {https://doi.org/10.2307/2273350},
doi = {10.2307/2273350},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Guaspari80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harnik80,
author = {Victor Harnik},
title = {Game Sentences, Recursive Saturation and Definability},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {35--46},
year = {1980},
url = {https://doi.org/10.2307/2273352},
doi = {10.2307/2273352},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Harnik80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hirschfeld80,
author = {Joram Hirschfeld},
title = {Finite Forcing, Existential Types and Complete Types},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {93--102},
year = {1980},
url = {https://doi.org/10.2307/2273357},
doi = {10.2307/2273357},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hirschfeld80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodes80,
author = {Harold T. Hodes},
title = {Jumping Through the Transfinite: The Master Code Hierarchy of Turing
Degrees},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {204--220},
year = {1980},
url = {https://doi.org/10.2307/2273183},
doi = {10.2307/2273183},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodes80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodges80,
author = {Wilfrid Hodges},
title = {Constructing Pure Injective Hulls},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {544--548},
year = {1980},
url = {https://doi.org/10.2307/2273421},
doi = {10.2307/2273421},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodges80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Howard80,
author = {William A. Howard},
title = {Ordinal Analysis of Terms of Finite Type},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {493--504},
year = {1980},
url = {https://doi.org/10.2307/2273417},
doi = {10.2307/2273417},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Howard80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JechMMP80,
author = {Thomas Jech and
Menachem Magidor and
William John Mitchell and
Karel Prikry},
title = {Precipitous Ideals},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {1--8},
year = {1980},
url = {https://doi.org/10.2307/2273349},
doi = {10.2307/2273349},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JechMMP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koppelberg80,
author = {Sabine Koppelberg},
title = {Cardinalities of Ultraproducts of Finite Sets},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {574--584},
year = {1980},
url = {https://doi.org/10.2307/2273424},
doi = {10.2307/2273424},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Koppelberg80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Leivant80,
author = {Daniel Leivant},
title = {Innocuous Substitutions},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {363--368},
year = {1980},
url = {https://doi.org/10.2307/2273197},
doi = {10.2307/2273197},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Leivant80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Maddux80,
author = {Roger D. Maddux},
title = {The Equational Theory of CA\({}_{\mbox{3}}\) is Undecidable},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {311--316},
year = {1980},
url = {https://doi.org/10.2307/2273191},
doi = {10.2307/2273191},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Maddux80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ManasterR80,
author = {Alfred B. Manaster and
Joseph G. Rosenstein},
title = {Two-Dimensional Partial Orderings: Recursive Model Theory},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {121--132},
year = {1980},
url = {https://doi.org/10.2307/2273359},
doi = {10.2307/2273359},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ManasterR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ManasterR80a,
author = {Alfred B. Manaster and
Joseph G. Rosenstein},
title = {Two-Dimensional Partial Orderings: Undecidability},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {133--143},
year = {1980},
url = {https://doi.org/10.2307/2273360},
doi = {10.2307/2273360},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ManasterR80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ManevitzS80,
author = {Larry M. Manevitz and
Jonathan Stavi},
title = {Triangle \({}^{\mbox{0}}\)\({}_{\mbox{2}}\) Operators and Alternating
Sentences in Arithmetic},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {144--154},
year = {1980},
url = {https://doi.org/10.2307/2273361},
doi = {10.2307/2273361},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ManevitzS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MeadN80,
author = {J. Mead and
George C. Nelson},
title = {Model Companions and k-Model Completeness for the Complete Theories
of Boolean Algebras},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {47--55},
year = {1980},
url = {https://doi.org/10.2307/2273353},
doi = {10.2307/2273353},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MeadN80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nadel80,
author = {Mark E. Nadel},
title = {On a Problem of MacDowell and Specker},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {612--622},
year = {1980},
url = {https://doi.org/10.2307/2273426},
doi = {10.2307/2273426},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nadel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nishimura80,
author = {Hirokazu Nishimura},
title = {Sequential Method in Quantum Logic},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {339--352},
year = {1980},
url = {https://doi.org/10.2307/2273194},
doi = {10.2307/2273194},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nishimura80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NormannW80,
author = {Dag Normann and
Stanley S. Wainer},
title = {The 1-Section of a Countable Functional},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {549--562},
year = {1980},
url = {https://doi.org/10.2307/2273422},
doi = {10.2307/2273422},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NormannW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay80,
author = {Anand Pillay},
title = {Theories with Exactly Three Countable Models and Theories with Algebraic
Prime Models},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {302--310},
year = {1980},
url = {https://doi.org/10.2307/2273190},
doi = {10.2307/2273190},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Putnam80,
author = {Hilary Putnam},
title = {Models and Reality},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {464--482},
year = {1980},
url = {https://doi.org/10.2307/2273415},
doi = {10.2307/2273415},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Putnam80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel80,
author = {Jeffrey B. Remmel},
title = {On {R.E.} and {CO-R.E.} Vector Spaces with Nonextendible Bases},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {20--34},
year = {1980},
url = {https://doi.org/10.2307/2273351},
doi = {10.2307/2273351},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel80a,
author = {Jeffrey B. Remmel},
title = {Recursion Theory on Orderings. {II}},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {317--333},
year = {1980},
url = {https://doi.org/10.2307/2273192},
doi = {10.2307/2273192},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RubinS80,
author = {Matatyahu Rubin and
Saharon Shelah},
title = {On the Elementary Equivalence of Automorphism Groups of Boolean Algebras;
Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {265--283},
year = {1980},
url = {https://doi.org/10.2307/2273187},
doi = {10.2307/2273187},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RubinS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sato80,
author = {Masahiko Sato},
title = {A Cut-Free Gentzen-Type System for the Modal Logic {S5}},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {67--84},
year = {1980},
url = {https://doi.org/10.2307/2273355},
doi = {10.2307/2273355},
timestamp = {Sat, 28 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sato80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schmerl80,
author = {James H. Schmerl},
title = {Decidability and \({}_{\mbox{0}}\)-Categoricity of Theories of Partially
Ordered Sets},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {585--611},
year = {1980},
url = {https://doi.org/10.2307/2273425},
doi = {10.2307/2273425},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schmerl80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah80,
author = {Saharon Shelah},
title = {A Note on Cardinal Exponentiation},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {56--66},
year = {1980},
url = {https://doi.org/10.2307/2273354},
doi = {10.2307/2273354},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah80a,
author = {Saharon Shelah},
title = {Independence of Strong Partition Relation for Small Cardinals, and
the Free-Subset Problem},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {505--509},
year = {1980},
url = {https://doi.org/10.2307/2273418},
doi = {10.2307/2273418},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah80b,
author = {Saharon Shelah},
title = {Independence Results},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {563--573},
year = {1980},
url = {https://doi.org/10.2307/2273423},
doi = {10.2307/2273423},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah80b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spector80,
author = {Mitchell Spector},
title = {A Measurable Cardinal with a Nonwellfounded Ultrapower},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {623--628},
year = {1980},
url = {https://doi.org/10.2307/2273427},
doi = {10.2307/2273427},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spector80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stark80,
author = {W. Richard Stark},
title = {Martin's Axiom in the Model Theory of L\({}_{\mbox{A}}\)},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {172--176},
year = {1980},
url = {https://doi.org/10.2307/2273364},
doi = {10.2307/2273364},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stark80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stoltenberg-Hansen80,
author = {Viggo Stoltenberg{-}Hansen},
title = {On Computational Complexity in Weakly Admissible Structures},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {353--358},
year = {1980},
url = {https://doi.org/10.2307/2273195},
doi = {10.2307/2273195},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stoltenberg-Hansen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thomas80,
author = {Wolfgang Thomas},
title = {On the Bounded Monadic Theory of Well-Ordered Structures},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {334--338},
year = {1980},
url = {https://doi.org/10.2307/2273193},
doi = {10.2307/2273193},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thomas80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tucker80,
author = {John V. Tucker},
title = {Computability and the Algebra of Fields: Some Affine Constructions},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {103--120},
year = {1980},
url = {https://doi.org/10.2307/2273358},
doi = {10.2307/2273358},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tucker80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wheeler80,
author = {William H. Wheeler},
title = {Model Theory of Strictly Upper Triangular Matrix Rings},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {455--463},
year = {1980},
url = {https://doi.org/10.2307/2273414},
doi = {10.2307/2273414},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wheeler80.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-11-09 04:52 CET 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:
