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/jsyml80.bht:"
download as .bib file
@article{DBLP:journals/jsyml/000315,
author = {Zhi Yin},
title = {Embeddings of \emph{P}(\emph{{\(\omega\)}})/fin into Borel Equivalence
Relations between \emph{{\(\mathscr{l}\)}\({}_{\mbox{P}}\) } and \emph{{\(\mathscr{l}\)}\({}_{\mbox{Q}}\)
}},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {917--939},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.20},
doi = {10.1017/JSL.2015.20},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/000315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrewsK15,
author = {Uri Andrews and
H. Jerome Keisler},
title = {Separable Models of Randomizations},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1149--1181},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.33},
doi = {10.1017/JSL.2015.33},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndrewsK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Argoty15,
author = {Camilo Argoty},
title = {Forking and stability in the Representations of a \emph{C}*-Algebra},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {785--796},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.23},
doi = {10.1017/JSL.2015.23},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Argoty15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AtseriasMO15,
author = {Albert Atserias and
Moritz M{\"{u}}ller and
Sergi Oliva},
title = {Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole
Principle},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {450--476},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.56},
doi = {10.1017/JSL.2014.56},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AtseriasMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Axon15,
author = {Logan M. Axon},
title = {Martin-L{\"{o}}F Randomness in Spaces of Closed Sets},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {359--383},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.76},
doi = {10.1017/JSL.2014.76},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Axon15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaldwinLS15,
author = {John T. Baldwin and
Paul B. Larson and
Saharon Shelah},
title = {Almost Galois \emph{{\(\omega\)}}-Stable Classes},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {763--784},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.19},
doi = {10.1017/JSL.2015.19},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaldwinLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeckmannBF15,
author = {Arnold Beckmann and
Samuel R. Buss and
Sy{-}David Friedman},
title = {Safe Recursive Set Functions},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {730--762},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.26},
doi = {10.1017/JSL.2015.26},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BeckmannBF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BelairP15,
author = {Luc B{\'{e}}lair and
Fran{\c{c}}oise Point},
title = {Separably Closed Fields and contractive Ore Modules},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1315--1338},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.42},
doi = {10.1017/JSL.2015.42},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BelairP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ben-NeriaG15,
author = {Omer Ben{-}Neria and
Moti Gitik},
title = {On the splitting number at Regular Cardinals},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1348--1360},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.22},
doi = {10.1017/JSL.2015.22},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ben-NeriaG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BezhanishviliGL15,
author = {Guram Bezhanishvili and
David Gabelaia and
Joel Lucero{-}Bryan},
title = {Topological Completeness of Logics above {S4}},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {520--566},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.59},
doi = {10.1017/JSL.2014.59},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BezhanishviliGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlassDR15,
author = {Andreas Blass and
Natasha Dobrinen and
Dilip Raghavan},
title = {The Next Best Thing to a P-Point},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {866--900},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.31},
doi = {10.1017/JSL.2015.31},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlassDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Borodulin-Nadzieja15,
author = {Piotr Borodulin{-}Nadzieja and
Barnab{\'{a}}s Farkas and
Grzegorz Plebanek},
title = {Representations of ideals in Polish Groups and in Banach Spaces},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1268--1289},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.63},
doi = {10.1017/JSL.2014.63},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Borodulin-Nadzieja15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Carl15,
author = {Merlin Carl},
title = {Optimal Results on Recognizability for Infinite Time Register Machines},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1116--1130},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.8},
doi = {10.1017/JSL.2015.8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Carl15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CaycedoH15,
author = {Juan Diego Caycedo and
Martin Hils},
title = {Bad Fields with torsion},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {221--233},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.22},
doi = {10.1017/JSL.2014.22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CaycedoH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChatzidakisHM15,
author = {Zo{\'{e}} Chatzidakis and
Matthew Harrison{-}Trainor and
Rahim Moosa},
title = {Differential-Algebraic jet Spaces Preserve Internality to the Constants},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {1022--1034},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.35},
doi = {10.1017/JSL.2015.35},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChatzidakisHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChengS15,
author = {Yong Cheng and
Ralf Schindler},
title = {Harrington's Principle in Higher order Arithmetic},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {477--489},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.31},
doi = {10.1017/JSL.2014.31},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChengS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chih15,
author = {Ellen S. Chih},
title = {Non-splittings of Speedable Sets},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {609--635},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.83},
doi = {10.1017/JSL.2014.83},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Chih15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChodounskyRZ15,
author = {David Chodounsk{\'{y}} and
Dusan Repovs and
Lyubomyr Zdomskyy},
title = {Mathias forcing and Combinatorial Covering Properties of filters},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1398--1410},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.73},
doi = {10.1017/JSL.2014.73},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChodounskyRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakGL15,
author = {Peter Cholak and
Peter M. Gerdes and
Karen M. Lange},
title = {{\textdollar}\{{\textbackslash}cal D\}{\textdollar}-MAXIMAL {SETS}},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1182--1210},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.3},
doi = {10.1017/JSL.2015.3},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChongY15,
author = {Chi Tat Chong and
Liang Yu},
title = {Randomness in the Higher Setting},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1131--1148},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.50},
doi = {10.1017/JSL.2015.50},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChongY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chvalovsky15,
author = {Karel Chvalovsk{\'{y}}},
title = {Undecidability of Consequence Relation in Full non-Associative Lambek
Calculus},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {567--586},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.39},
doi = {10.1017/JSL.2014.39},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Chvalovsky15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CintulaN15,
author = {Petr Cintula and
Carles Noguera},
title = {A Henkin-Style Proof of Completeness for First-order Algebraizable
Logics},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {341--358},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.19},
doi = {10.1017/JSL.2014.19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CintulaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DAquinoKL15,
author = {Paola D'Aquino and
Salma Kuhlmann and
Karen M. Lange},
title = {A Valuation Theoretic Characterization of Recursively saturated Real
Closed Fields},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {194--206},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.21},
doi = {10.1017/JSL.2014.21},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DAquinoKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DoraisHS15,
author = {Fran{\c{c}}ois G. Dorais and
Jeffry L. Hirst and
Paul Shafer},
title = {Comparing the strength of diagonally Nonrecursive Functions in the
Absence of {\(\sum\)}\({}_{\mbox{2}}\)\({}^{\mbox{0}}\) Induction},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1211--1235},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.43},
doi = {10.1017/JSL.2015.43},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DoraisHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EalyM15,
author = {Clifton F. Ealy and
Jana Mar{\'{\i}}kov{\'{a}}},
title = {Model Completeness of O-Minimal Fields with Convex Valuations},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {234--250},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.3},
doi = {10.1017/JSL.2014.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/EalyM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EscardoO15,
author = {Mart{\'{\i}}n Escard{\'{o}} and
Paulo Oliva},
title = {Bar Recursion and Products of Selection Functions},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {1--28},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.82},
doi = {10.1017/JSL.2014.82},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/EscardoO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fehm15,
author = {Arno Fehm},
title = {Existential {\(\varnothing\)}-Definability of Henselian Valuation
Rings},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {301--307},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.13},
doi = {10.1017/JSL.2014.13},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Fehm15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FornasieroH15,
author = {Antongiulio Fornasiero and
Philipp Hieronymi},
title = {A Fundamental Dichotomy for definably Complete expansions of Ordered
Fields},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1091--1115},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.10},
doi = {10.1017/JSL.2014.10},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FornasieroH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanHL15,
author = {Sy{-}David Friedman and
Peter Holy and
Philipp L{\"{u}}cke},
title = {Large Cardinals and Lightface Definable Well-Orders, without the {GCH}},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {251--284},
year = {2015},
url = {https://doi.org/10.1017/jsl.2013.41},
doi = {10.1017/JSL.2013.41},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanK15,
author = {Sy{-}David Friedman and
Vadim Kulikov},
title = {Failures of the Silver Dichotomy in the generalized Baire Space},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {661--670},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.2},
doi = {10.1017/JSL.2014.2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GreenbergKLT15,
author = {Noam Greenberg and
Asher M. Kach and
Steffen Lempp and
Daniel Turetsky},
title = {Computability and uncountable Linear Orders {I:} Computable Categoricity},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {116--144},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.68},
doi = {10.1017/JSL.2014.68},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GreenbergKLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GreenbergKLT15a,
author = {Noam Greenberg and
Asher M. Kach and
Steffen Lempp and
Daniel D. Turetsky},
title = {Computability and uncountable Linear Orders {II:} degree spectra},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {145--178},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.69},
doi = {10.1017/JSL.2014.69},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GreenbergKLT15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gregory15,
author = {Lorna Gregory},
title = {Decidability for Theories of Modules over Valuation Domains},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {684--711},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.1},
doi = {10.1017/JSL.2014.1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gregory15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GroheO15,
author = {Martin Grohe and
Martin Otto},
title = {Pebble Games and linear equations},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {797--844},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.28},
doi = {10.1017/JSL.2015.28},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GroheO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HolyWW15,
author = {Peter Holy and
Philip D. Welch and
Liuzhen Wu},
title = {Local Club Condensation and L-Likeness},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1361--1378},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.6},
doi = {10.1017/JSL.2015.6},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HolyWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/IemhoffR15,
author = {Rosalie Iemhoff and
Paul Rozi{\`{e}}re},
title = {Unification in Intermediate Logics},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {713--729},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.5},
doi = {10.1017/JSL.2015.5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/IemhoffR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Igusa15,
author = {Gregory Igusa},
title = {The Generic Degrees of density-1 Sets, and a characterization of the
Hyperarithmetic Reals},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1290--1314},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.77},
doi = {10.1017/JSL.2014.77},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Igusa15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JahnkeK15,
author = {Franziska Jahnke and
Jochen Koenigsmann},
title = {Definable Henselian Valuations},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {85--99},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.64},
doi = {10.1017/JSL.2014.64},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/JahnkeK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kachapova15,
author = {Farida Kachapova},
title = {A Strong Multi-Typed Intuitionistic Theory of functionals},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {1035--1065},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.21},
doi = {10.1017/JSL.2015.21},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kachapova15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KimKL15,
author = {Byunghan Kim and
Sunyoung Kim and
Junguk Lee},
title = {A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {322--340},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.44},
doi = {10.1017/JSL.2014.44},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KimKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kovacsics15,
author = {Pablo Cubides Kovacsics},
title = {Locally Constant Functions in \emph{C}-Minimal Structures},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {207--220},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.26},
doi = {10.1017/JSL.2014.26},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kovacsics15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kreuzer15,
author = {Alexander P. Kreuzer},
title = {On Idempotent Ultrafilters in Higher-order Reverse Mathematics},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {179--193},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.58},
doi = {10.1017/JSL.2014.58},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kreuzer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Leigh15,
author = {Graham E. Leigh},
title = {Conservativity for Theories of Compositional Truth via Cut Elimination},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {845--865},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.27},
doi = {10.1017/JSL.2015.27},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Leigh15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mantova15,
author = {Vincenzo Mantova},
title = {A Pseudoexponential-like Structure on the Algebraic numbers},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1339--1347},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.41},
doi = {10.1017/JSL.2014.41},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mantova15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MarkerSS15,
author = {David Marker and
James H. Schmerl and
Charles Steinhorn},
title = {Uncountable Real Closed Fields with {PA} Integer Parts},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {490--502},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.57},
doi = {10.1017/JSL.2014.57},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MarkerSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Moore15,
author = {Matthew Moore},
title = {The Undecidability of the Definability of Principal Subcongruences},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {384--432},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.51},
doi = {10.1017/JSL.2014.51},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Moore15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Prestel15,
author = {Alexander Prestel},
title = {Definable Henselian Valuation Rings},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1260--1267},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.52},
doi = {10.1017/JSL.2014.52},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Prestel15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SargsyanS15,
author = {Grigor Sargsyan and
John Steel},
title = {The mouse Set conjecture for Sets of Reals},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {671--683},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.78},
doi = {10.1017/JSL.2014.78},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SargsyanS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schmerl15,
author = {James H. Schmerl},
title = {Automorphism Groups of Countable Arithmetically saturated Models of
Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1411--1434},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.1},
doi = {10.1017/JSL.2015.1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schmerl15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schweber15,
author = {Noah David Schweber},
title = {Transfinite Recursion in Higher Reverse Mathematics},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {940--969},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.2},
doi = {10.1017/JSL.2015.2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schweber15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahS15,
author = {Saharon Shelah and
Otmar Spinas},
title = {Mad spectra},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {901--916},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.9},
doi = {10.1017/JSL.2015.9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahVV15,
author = {Saharon Shelah and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
Boban Velickovic},
title = {Positional Strategies in Long Ehrenfeucht-Fra{\"{\i}}SS{\'{e}}
Games},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {285--300},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.43},
doi = {10.1017/JSL.2014.43},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shi15,
author = {Xianghui Shi},
title = {Axiom \emph{I} \({}_{\mbox{0}}\) and Higher degree Theory},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {970--1021},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.15},
doi = {10.1017/JSL.2015.15},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sokic15,
author = {Miodrag Sokic},
title = {Semilattices and the Ramsey Property},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1236--1259},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.40},
doi = {10.1017/JSL.2014.40},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sokic15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SpinasW15,
author = {Otmar Spinas and
Marek Wyszkowski},
title = {Silver Antichains},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {503--519},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.38},
doi = {10.1017/JSL.2014.38},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/SpinasW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tanovic15,
author = {Predrag Tanovic},
title = {Generically Stable Regular Types},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {308--321},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.24},
doi = {10.1017/JSL.2014.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tanovic15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/TornquistW15,
author = {Asger T{\"{o}}rnquist and
William Weiss},
title = {The {\(\sum\)}\({}_{\mbox{2}}\)\({}^{\mbox{1}}\) Counterparts to Statements
that are Equivalent to the Continuum Hypothesis},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1075--1090},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.20},
doi = {10.1017/JSL.2014.20},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/TornquistW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Trang15,
author = {Nam Trang},
title = {Structure Theory of \emph{L}({\(\mathbb{R}\)}, \emph{{\(\mu\)}}) and
its Applications},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {29--55},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.65},
doi = {10.1017/JSL.2014.65},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Trang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tsaprounis15,
author = {Konstantinos Tsaprounis},
title = {On Resurrection Axioms},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {587--608},
year = {2015},
url = {https://doi.org/10.1017/jsl.2013.39},
doi = {10.1017/JSL.2013.39},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tsaprounis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Vignati15,
author = {Alessandro Vignati},
title = {An Algebra whose Subalgebras are characterized by density},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {1066--1074},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.86},
doi = {10.1017/JSL.2014.86},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Vignati15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Villemaire15,
author = {Roger Villemaire},
title = {Homogeneity and Fix-Points: Going Forth!},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {636--660},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.72},
doi = {10.1017/JSL.2014.72},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Villemaire15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Woods15,
author = {Kevin Woods},
title = {Presburger Arithmetic, Rational Generating Functions, and quasi-polynomials},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {433--449},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.4},
doi = {10.1017/JSL.2015.4},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Woods15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wu15,
author = {Liuzhen Wu},
title = {Set forcing and Strong Condensation for \emph{H}(\emph{{\(\omega\)}}
\({}_{\mbox{2}}\))},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {56--84},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.62},
doi = {10.1017/JSL.2014.62},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yaacov15,
author = {Ita{\"{\i}} Ben Yaacov},
title = {Fra{\"{\i}}SS{\'{e}} Limits of Metric Structures},
journal = {J. Symb. Log.},
volume = {80},
number = {1},
pages = {100--115},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.71},
doi = {10.1017/JSL.2014.71},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Yaacov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/YaacovM15,
author = {Ita{\"{\i}} Ben Yaacov and
Julien Melleray},
title = {Grey Subsets of Polish Spaces},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1379--1397},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.60},
doi = {10.1017/JSL.2014.60},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/YaacovM15.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-11 08:52 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:
