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/jsyml82.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AguileraF17,
author = {Juan P. Aguilera and
David Fern{\'{a}}ndez{-}Duque},
title = {Strong Completeness of Provability Logic for Ordinal Spaces},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {608--628},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.3},
doi = {10.1017/JSL.2017.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AguileraF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrekaGJN17,
author = {Hajnal Andr{\'{e}}ka and
Steven Givant and
Peter Jipsen and
Istv{\'{a}}n N{\'{e}}meti},
title = {On Tarski's Axiomatic Foundations of the Calculus of Relations},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {966--994},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.32},
doi = {10.1017/JSL.2016.32},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndrekaGJN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AntosF17,
author = {Carolin Antos and
Sy{-}David Friedman},
title = {Hyperclass forcing in Morse-Kelley class Theory},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {549--575},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.74},
doi = {10.1017/JSL.2016.74},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AntosF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Aschieri17,
author = {Federico Aschieri},
title = {Game Semantics and the Geometry of Backtracking: a New Complexity
Analysis of Interaction},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {672--708},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.48},
doi = {10.1017/JSL.2016.48},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Aschieri17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Aslanyan17,
author = {Vahagn Aslanyan},
title = {Definability of Derivations in the Reducts of differentially closed
Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1252--1277},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.54},
doi = {10.1017/JSL.2017.54},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Aslanyan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AudritoS17,
author = {Giorgio Audrito and
Silvia Steila},
title = {Generic Large Cardinals and Systems of filters},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {860--892},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.27},
doi = {10.1017/JSL.2017.27},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/AudritoS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaldwinKL17,
author = {John T. Baldwin and
Martin Koerwien and
Michael C. Laskowski},
title = {Disjoint Amalgamation in Locally Finite {AEC}},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {98--119},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.25},
doi = {10.1017/JSL.2016.25},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaldwinKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Barnes17,
author = {James S. Barnes},
title = {On the Decidability of the {\(\Sigma\)}\({}_{\mbox{2}}\) Theories
of the Arithmetic and Hyperarithmetic Degrees as Uppersemilattices},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1496--1518},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.51},
doi = {10.1017/JSL.2017.51},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Barnes17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BerardiS17,
author = {Stefano Berardi and
Silvia Steila},
title = {Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle
of Arithmetic},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {737--753},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.41},
doi = {10.1017/JSL.2016.41},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BerardiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beros17,
author = {Konstantinos A. Beros},
title = {Normal numbers and Completeness Results for difference Sets},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {247--257},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.16},
doi = {10.1017/JSL.2016.16},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beros17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeyarslanC17,
author = {{\"{O}}zlem Beyarslan and
Zo{\'{e}} Chatzidakis},
title = {Geometric Representation in the Theory of Pseudo-finite Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1132--1139},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.7},
doi = {10.1017/JSL.2017.7},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BeyarslanC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BezhanishviliBL17,
author = {Guram Bezhanishvili and
Nick Bezhanishvili and
Joel Lucero{-}Bryan and
Jan van Mill},
title = {Krull Dimension in Modal Logic},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1356--1386},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.14},
doi = {10.1017/JSL.2017.14},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BezhanishviliBL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlanckE17,
author = {Rasmus Blanck and
Ali Enayat},
title = {Marginalia on a Theorem of Woodin},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {359--374},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.8},
doi = {10.1017/JSL.2016.8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlanckE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoneyV17,
author = {Will Boney and
Sebastien Vasey},
title = {Tameness and Frames Revisited},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {995--1021},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.1},
doi = {10.1017/JSL.2017.1},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BoneyV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BrattkaR17,
author = {Vasco Brattka and
Tahina Rakotoniaina},
title = {On the Uniform Computational Content of Ramsey's Theorem},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1278--1316},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.43},
doi = {10.1017/JSL.2017.43},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BrattkaR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CaicedoZ17,
author = {Andr{\'{e}}s Eduardo Caicedo and
Martin Zeman},
title = {Downward Transference of mice and Universality of Local Core Models},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {385--419},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.68},
doi = {10.1017/JSL.2016.68},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CaicedoZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Carotenuto17,
author = {Gemma Carotenuto},
title = {Handmade density Sets},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {208--223},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.53},
doi = {10.1017/JSL.2016.53},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Carotenuto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cerda-RomeroM17,
author = {Leonidas Cerda{-}Romero and
Carlos Martinez{-}Ranero},
title = {The Diophantine Problem for Addition and Divisibility over subrings
of the Rationals},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1140--1149},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.64},
doi = {10.1017/JSL.2016.64},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cerda-RomeroM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chan17,
author = {William Chan},
title = {Equivalence Relations which are Borel Somewhere},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {893--930},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.22},
doi = {10.1017/JSL.2017.22},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Chan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChatterjeeP17,
author = {Krishnendu Chatterjee and
Nir Piterman},
title = {Obligation Blackwell Games and P-Automata},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {420--452},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.71},
doi = {10.1017/JSL.2016.71},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/ChatterjeeP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakI17,
author = {Peter Cholak and
Gregory Igusa},
title = {Density-1-Bounding and quasiminimality in the Generic Degrees},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {931--957},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.50},
doi = {10.1017/JSL.2016.50},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Conant17,
author = {Gabriel Conant},
title = {An Axiomatic Approach to Free Amalgamation},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {648--671},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.42},
doi = {10.1017/JSL.2016.42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Conant17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ConleyM17,
author = {Clinton T. Conley and
Benjamin D. Miller},
title = {Measurable Perfect Matchings for Acyclic Locally Countable Borel graphs},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {258--271},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.44},
doi = {10.1017/JSL.2016.44},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ConleyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cordon-FrancoFJ17,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten and
Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
title = {Predicativity through Transfinite Reflection},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {787--808},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.30},
doi = {10.1017/JSL.2017.30},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cordon-FrancoFJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CsimaH17,
author = {Barbara F. Csima and
Matthew Harrison{-}Trainor},
title = {Degrees of Categoricity on a cone via {\(\eta\)}-Systems},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {325--346},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.43},
doi = {10.1017/JSL.2016.43},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CsimaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DarniereH17,
author = {Luck Darni{\`{e}}re and
Immanuel Halupczok},
title = {Cell Decomposition and Classification of Definable Sets in P-Optimal
Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {120--136},
year = {2017},
url = {https://doi.org/10.1017/jsl.2015.79},
doi = {10.1017/JSL.2015.79},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DarniereH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ding17,
author = {Longyun Ding},
title = {On Equivalence Relations Generated by Schauder Bases},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1459--1481},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.67},
doi = {10.1017/JSL.2017.67},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Ding17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DobrinenH17,
author = {Natasha Dobrinen and
Dan Hathaway},
title = {The Halpern-l{\"{a}}Uchli Theorem at a Measurable cardinal},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1560--1575},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.31},
doi = {10.1017/JSL.2017.31},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DobrinenH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EleftheriouHK17,
author = {Pantelis E. Eleftheriou and
Assaf Hasson and
Gil Keren},
title = {On Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1482--1495},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.28},
doi = {10.1017/JSL.2017.28},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/EleftheriouHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EscardoO17,
author = {Mart{\'{\i}}n Escard{\'{o}} and
Paulo Oliva},
title = {The Herbrand Functional Interpretation of the double Negation Shift},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {590--607},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.8},
doi = {10.1017/JSL.2017.8},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/EscardoO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FischerST17,
author = {Vera Fischer and
David Schrittesser and
Asger T{\"{o}}rnquist},
title = {A Co-analytic Cohen-Indestructible Maximal cofinitary Group},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {629--647},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.5},
doi = {10.1017/JSL.2017.5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/FischerST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FontanellaM17,
author = {Laura Fontanella and
Menachem Magidor},
title = {Reflection of stationary Sets and the Tree Property at the Successor
of a singular cardinal},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {272--291},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.13},
doi = {10.1017/JSL.2016.13},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FontanellaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GarciaW17,
author = {Dar{\'{\i}}o Garc{\'{\i}}a and
Frank O. Wagner},
title = {Unimodularity Unified},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1051--1065},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.60},
doi = {10.1017/JSL.2016.60},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GarciaW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gehret17,
author = {Allen Gehret},
title = {Nip for the asymptotic couple of the field of Logarithmic Transseries},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {35--61},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.59},
doi = {10.1017/JSL.2016.59},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gehret17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GhilardiG17,
author = {Silvio Ghilardi and
Samuel J. van Gool},
title = {A Model-Theoretic characterization of Monadic second order Logic on
Infinite Words},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {62--76},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.70},
doi = {10.1017/JSL.2016.70},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GhilardiG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Golshani17,
author = {Mohammad Golshani},
title = {Hod, {V} and the {GCH}},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {224--246},
year = {2017},
url = {https://doi.org/10.1017/jsl.2015.82},
doi = {10.1017/JSL.2015.82},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Golshani17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gonzalez17,
author = {Osvaldo Guzm{\'{a}}n Gonz{\'{a}}lez},
title = {The onto Mapping of Sierpinski and Nonmeager Sets},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {958--965},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.24},
doi = {10.1017/JSL.2016.24},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gonzalez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GonzalezHMR17,
author = {Osvaldo Guzm{\'{a}}n Gonz{\'{a}}lez and
Michael Hrus{\'{a}}k and
Carlos Azarel Mart{\'{\i}}nez{-}Ranero and
Ulises Ariet Ramos{-}Garc{\'{\i}}a},
title = {Generic existence of {MAD} families},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {303--316},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.54},
doi = {10.1017/JSL.2016.54},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GonzalezHMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GrossbergV17,
author = {Rami P. Grossberg and
Sebastien Vasey},
title = {Equivalent Definitions of superstability in Tame Abstract Elementary
Classes},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1387--1408},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.21},
doi = {10.1017/JSL.2017.21},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GrossbergV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hachtman17,
author = {Sherwood Hachtman},
title = {Calibrating Determinacy strength in Levels of the Borel Hierarchy},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {510--548},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.15},
doi = {10.1017/JSL.2017.15},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hachtman17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Harrison-Trainor17,
author = {Matthew Harrison{-}Trainor and
Alexander G. Melnikov and
Russell G. Miller and
Antonio Montalb{\'{a}}n},
title = {Computable Functors and Effective interpretability},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {77--97},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.12},
doi = {10.1017/JSL.2016.12},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Harrison-Trainor17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HatzikiriakouS17,
author = {Kostas Hatzikiriakou and
Stephen G. Simpson},
title = {Reverse Mathematics, Young Diagrams, and the ascending Chain condition},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {576--589},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.17},
doi = {10.1017/JSL.2016.17},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HatzikiriakouS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HieronymiN17,
author = {Philipp Hieronymi and
Travis Nell},
title = {Distal and non-distal Pairs},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {375--383},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.28},
doi = {10.1017/JSL.2016.28},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HieronymiN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HirvonenH17,
author = {{\AA}sa Hirvonen and
Tapani Hyttinen},
title = {Measuring Dependence in Metric Abstract Elementary Classes with perturbations},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1199--1228},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.37},
doi = {10.1017/JSL.2017.37},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HirvonenH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ibarlucia17,
author = {Tom{\'{a}}s Ibarluc{\'{\i}}a},
title = {Automorphism Groups of Randomized Structures},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1150--1179},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.2},
doi = {10.1017/JSL.2017.2},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ibarlucia17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/IgusaKS17,
author = {Gregory Igusa and
Julia F. Knight and
Noah David Schweber},
title = {Computing strength of Structures Related to the field of Real numbers},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {137--150},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.55},
doi = {10.1017/JSL.2016.55},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/IgusaKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JahnkeSW17,
author = {Franziska Jahnke and
Pierre Simon and
Erik Walsberg},
title = {Dp-Minimal Valued Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {151--165},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.15},
doi = {10.1017/JSL.2016.15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/JahnkeSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JardenS17,
author = {Moshe Jarden and
Alexandra Shlapentokh},
title = {Decidable Algebraic Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {474--488},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.10},
doi = {10.1017/JSL.2017.10},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JardenS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KaplanS17,
author = {Itay Kaplan and
Saharon Shelah},
title = {Decidability and Classification of the Theory of Integers with Primes},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1041--1050},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.16},
doi = {10.1017/JSL.2017.16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KaplanS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KikuchiK17,
author = {Makoto Kikuchi and
Taishi Kurahashi},
title = {Universal Rosser Predicates},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {292--302},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.19},
doi = {10.1017/JSL.2016.19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KikuchiK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koponen17,
author = {Vera Koponen},
title = {Binary Primitive homogeneous Simple Structures},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {183--207},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.51},
doi = {10.1017/JSL.2016.51},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Koponen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KovacsicsDL17,
author = {Pablo Cubides Kovacsics and
Luck Darni{\`{e}}re and
Eva Leenknegt},
title = {Topological cell Decomposition and Dimension Theory in P-Minimal Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {347--358},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.45},
doi = {10.1017/JSL.2016.45},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/KovacsicsDL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KovacsicsN17,
author = {Pablo Cubides Kovacsics and
Kien Huu Nguyen},
title = {A P-Minimal Structure without Definable Skolem Functions},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {778--786},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.58},
doi = {10.1017/JSL.2016.58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KovacsicsN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Krupinski17,
author = {Krzysztof Krupinski},
title = {Definable Topological dynamics},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1080--1105},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.32},
doi = {10.1017/JSL.2017.32},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Krupinski17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kurilic17,
author = {Milos S. Kurilic},
title = {Retractions of Reversible Structures},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1422--1437},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.60},
doi = {10.1017/JSL.2017.60},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kurilic17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kuyper17,
author = {Rutger Kuyper},
title = {On Weihrauch Reducibility and intuitionistic Reverse Mathematics},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1438--1458},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.61},
doi = {10.1017/JSL.2016.61},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kuyper17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lambie-Hanson17,
author = {Chris Lambie{-}Hanson},
title = {Squares and narrow Systems},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {834--859},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.38},
doi = {10.1017/JSL.2017.38},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Lambie-Hanson17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LarsonZ17,
author = {Paul B. Larson and
Jindrich Zapletal},
title = {Canonical Models for Fragments of the Axiom of Choice},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {489--509},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.29},
doi = {10.1017/JSL.2017.29},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LarsonZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LiebermanR17,
author = {Michael J. Lieberman and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Metric Abstract Elementary Classes as Accessible Categories},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1022--1040},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.39},
doi = {10.1017/JSL.2016.39},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LiebermanR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LuckeSS17,
author = {Philipp L{\"{u}}cke and
Ralf Schindler and
Philipp Schlicht},
title = {{\(\Sigma\)}1({\(\kappa\)})-DEFINABLE {SUBSETS} {OF} H({\(\kappa\)}
+)},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1106--1131},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.36},
doi = {10.1017/JSL.2017.36},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LuckeSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mariaule17,
author = {Nathana{\"{e}}l Mariaule},
title = {The field of {P-ADIC} numbers with a Predicate for the powers of an
Integer},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {166--182},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.22},
doi = {10.1017/JSL.2016.22},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mariaule17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MarkerM17,
author = {David Marker and
Russell G. Miller},
title = {Turing degree spectra of differentially Closed Fields},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {1--25},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.73},
doi = {10.1017/JSL.2016.73},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/MarkerM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Masumoto17,
author = {Shuhei Masumoto},
title = {The Jiang-SU Algebra as a FRA{\"{\i}}SS{\'{e}} Limit},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1541--1559},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.52},
doi = {10.1017/JSL.2016.52},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Masumoto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MyasnikovS17,
author = {Alexei G. Myasnikov and
Mahmood Sohrabi},
title = {{\(\omega\)}-stability and Morley Rank of Bilinear Maps, Rings and
Nilpotent Groups},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {754--777},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.29},
doi = {10.1017/JSL.2016.29},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MyasnikovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Onay17,
author = {G{\"{o}}nen{\c{c}} Onay},
title = {Valued Modules over skew Polynomial Rings {I}},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1519--1540},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.72},
doi = {10.1017/JSL.2017.72},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Onay17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Palacin17,
author = {Daniel Palac{\'{\i}}n},
title = {Generalized Amalgamation and homogeneity},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1409--1421},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.67},
doi = {10.1017/JSL.2016.67},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Palacin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Perez17,
author = {V{\'{\i}}ctor Torres P{\'{e}}rez},
title = {Weak Reflection Principle, saturation of the nonstationary Ideal on
{\(\omega\)} 1 and Diamonds},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {724--736},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.11},
doi = {10.1017/JSL.2017.11},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Perez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RastS17,
author = {Richard Rast and
Davender Singh Sahota},
title = {The Borel Complexity of Isomorphism for O-Minimal Theories},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {453--473},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.17},
doi = {10.1017/JSL.2017.17},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RastS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RideauS17,
author = {Silvain Rideau and
Pierre Simon},
title = {Definable and Invariant Types in Enrichments of {NIP} Theories},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {317--324},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.35},
doi = {10.1017/JSL.2016.35},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/RideauS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RinotS17,
author = {Assaf Rinot and
Ralf Schindler},
title = {Square with Built-in Diamond-plus},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {809--833},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.69},
doi = {10.1017/JSL.2016.69},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RinotS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schlicht17,
author = {Philipp Schlicht},
title = {Perfect Subsets of generalized Baire Spaces and Long Games},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1317--1355},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.44},
doi = {10.1017/JSL.2017.44},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schlicht17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tsementzis17,
author = {Dimitris Tsementzis},
title = {A Syntactic characterization of Morita Equivalence},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1181--1198},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.59},
doi = {10.1017/JSL.2017.59},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Tsementzis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Walicki17,
author = {Michal Walicki},
title = {Resolving Infinitary Paradoxes},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {709--723},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.18},
doi = {10.1017/JSL.2016.18},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Walicki17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wilson17,
author = {Trevor M. Wilson},
title = {Universally Baire Sets and Generic Absoluteness},
journal = {J. Symb. Log.},
volume = {82},
number = {4},
pages = {1229--1251},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.35},
doi = {10.1017/JSL.2017.35},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Wilson17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zelenyuk17,
author = {Yevhen Zelenyuk},
title = {Left Maximal and strongly Right Maximal idempotents in {G}},
journal = {J. Symb. Log.},
volume = {82},
number = {1},
pages = {26--34},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.62},
doi = {10.1017/JSL.2016.62},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zelenyuk17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AsperoM17,
title = {Measuring Club-sequences Together with the continuum Large},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {1066--1079},
year = {2017},
note = {Withdrawn.},
url = {https://doi.org/10.1017/jsl.2017.4},
doi = {10.1017/JSL.2017.4},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AsperoM17.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-05-06 14:18 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:
