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/jsyml88.bht:"
download as .bib file
@article{DBLP:journals/jsyml/0002JT23,
author = {William Chan and
Stephen Jackson and
Nam Trang},
title = {Countable Length everywhere Club Uniformization},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1556--1572},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.78},
doi = {10.1017/JSL.2022.78},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/0002JT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/0004R23,
author = {Dominik Klein and
Rasmus K. Rendsvig},
title = {Metrics for Formal Structures, with an Application to Kripke Models
and their dynamics},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {469--489},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.74},
doi = {10.1017/JSL.2022.74},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/0004R23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrewsBM23,
author = {Uri Andrews and
Daniel F. Belin and
Luca San Mauro},
title = {On the Structure of Computable Reducibility on Equivalence Relations
of Natural numbers},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1038--1063},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.28},
doi = {10.1017/JSL.2022.28},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/AndrewsBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrewsKKMS23,
author = {Uri Andrews and
Julia F. Knight and
Rutger Kuyper and
Joseph S. Miller and
Mariya Ivanova Soskova},
title = {Expanding the Reals by continuous Functions Adds no Computational
Power},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1083--1102},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.66},
doi = {10.1017/JSL.2022.66},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndrewsKKMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BagariaP23,
author = {Joan Bagaria and
Alejandro Poveda},
title = {More on the Preservation of Large Cardinals Under Class Forcing},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {290--323},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.73},
doi = {10.1017/JSL.2021.73},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BagariaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BagariaW23,
author = {Joan Bagaria and
Trevor M. Wilson},
title = {The Weak Vopenka Principle for Definable Classes of Structures},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {145--168},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.42},
doi = {10.1017/JSL.2022.42},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BagariaW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BezhanishviliBI23,
author = {Guram Bezhanishvili and
Kristina Brantley and
Julia Ilin},
title = {Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {427--467},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.102},
doi = {10.1017/JSL.2021.102},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BezhanishviliBI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BorgesJ23,
author = {Ana de Almeida Borges and
Joost J. Joosten},
title = {An Escape from Vardanyan's Theorem},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1613--1638},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.38},
doi = {10.1017/JSL.2022.38},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BorgesJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BorodulinNadziejaS23,
author = {Piotr Borodulin{-}Nadzieja and
Damian Sobota},
title = {On Sequences of Homomorphisms Into Measure Algebras and the Efimov
Problem},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {191--218},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.70},
doi = {10.1017/JSL.2021.70},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BorodulinNadziejaS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BowlerGJP23,
author = {Nathan J. Bowler and
Florian Gut and
Attila Jo{\'{o}} and
Max Pitz},
title = {Maker-Breaker Games on and},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {697--703},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.49},
doi = {10.1017/JSL.2022.49},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BowlerGJP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoxallK23,
author = {Gareth Boxall and
Charlotte Kestner},
title = {Theories with distal Shelah expansions},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1323--1333},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.11},
doi = {10.1017/JSL.2023.11},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BoxallK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Brattka23,
author = {Vasco Brattka},
title = {The discontinuity Problem},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1191--1212},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.106},
doi = {10.1017/JSL.2021.106},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Brattka23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BrendleS23,
author = {J{\"{o}}rg Brendle and
Corey Bacal Switzer},
title = {Higher dimensional cardinal characteristics for Sets of Functions
{II}},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1421--1442},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.18},
doi = {10.1017/JSL.2022.18},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BrendleS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BruinV23,
author = {Henk Bruin and
Benjamin Vejnar},
title = {Classification of One dimensional dynamical Systems by Countable Structures},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {562--578},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.67},
doi = {10.1017/JSL.2022.67},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BruinV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CalvertFT23,
author = {Wesley Calvert and
Johanna N. Y. Franklin and
Dan Turetsky},
title = {Structural Highness Notions},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1692--1724},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.35},
doi = {10.1017/JSL.2022.35},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CalvertFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CampercholiCVG23,
author = {Miguel Campercholi and
Diego Nicol{\'{a}}s Casta{\~{n}}o and
Jos{\'{e}} Patricio D{\'{\i}}az Varela and
Joan Gispert},
title = {Algebraic Expansions of Logics},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {74--92},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.47},
doi = {10.1017/JSL.2022.47},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CampercholiCVG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chen23,
author = {Ruiyuan Chen},
title = {A Universal characterization of Standard Borel Spaces},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {510--539},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.85},
doi = {10.1017/JSL.2022.85},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Chen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChernikovKR23,
author = {Artem Chernikov and
Byunghan Kim and
Nicholas Ramsey},
title = {Transitivity, Lowness, and ranks in Nsop Theories},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {919--946},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.36},
doi = {10.1017/JSL.2023.36},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChernikovKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ClemensCK23,
author = {John D. Clemens and
Samuel Coskey and
Gianni Krakoff},
title = {Computable Reducibility of Equivalence Relations and an Effective
jump operator},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {540--561},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.45},
doi = {10.1017/JSL.2022.45},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ClemensCK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CodyH23,
author = {Brent Cody and
Peter Holy},
title = {Ideal operators and Higher Indescribability},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {835--873},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.59},
doi = {10.1017/JSL.2022.59},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CodyH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CoxF23,
author = {Sean D. Cox and
Gunter Fuchs},
title = {The diagonal Strong Reflection Principle and its Fragments},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1281--1309},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.3},
doi = {10.1017/JSL.2023.3},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CoxF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CroneFJ23,
author = {Logan Crone and
Lior Fishman and
Stephen Jackson},
title = {Determinacy of Schmidt's Game and Other Intersection Games},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {1--21},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.41},
doi = {10.1017/JSL.2022.41},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CroneFJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cruz-ChapitalFG23,
author = {Jorge A. Cruz{-}Chapital and
Vera Fischer and
Osvaldo Guzm{\'{a}}n and
Jaroslav Supina},
title = {Partition forcing and Independent families},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1590--1612},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.68},
doi = {10.1017/JSL.2022.68},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Cruz-ChapitalFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DimitrovHMSSV23,
author = {Rumen D. Dimitrov and
Valentina S. Harizanov and
Andrei S. Morozov and
Paul Shafer and
Alexandra A. Soskova and
Stefan V. Vatev},
title = {On Cohesive powers of linear Orders},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {947--1004},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.14},
doi = {10.1017/JSL.2023.14},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DimitrovHMSSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Eisworth23,
author = {Todd Eisworth},
title = {The Pseudopower Dichotomy},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1655--1681},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.1},
doi = {10.1017/JSL.2023.1},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Eisworth23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EnayatL23,
author = {Ali Enayat and
Mateusz Lelyk},
title = {Axiomatizations of Peano Arithmetic: a Truth-Theoretic View},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1526--1555},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.83},
doi = {10.1017/JSL.2022.83},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/EnayatL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanGM23,
author = {Sy{-}David Friedman and
Victoria Gitman and
Sandra M{\"{u}}ller},
title = {Structural Properties of the stable Core},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {889--918},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.10},
doi = {10.1017/JSL.2023.10},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Frittaion23,
author = {Emanuele Frittaion},
title = {Extensional Realizability and Choice for dependent Types in intuitionistic
Set Theory},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1138--1169},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.56},
doi = {10.1017/JSL.2022.56},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Frittaion23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Fujita23,
author = {Masato Fujita},
title = {Locally O-Minimal Structures With Tame Topological Properties},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {219--241},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.80},
doi = {10.1017/JSL.2021.80},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Fujita23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FujiwaraK23,
author = {Makoto Fujiwara and
Taishi Kurahashi},
title = {Conservation theorems on Semi-Classical Arithmetic},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1469--1496},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.25},
doi = {10.1017/JSL.2022.25},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/FujiwaraK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GambinoL23,
author = {Nicola Gambino and
Marco Federico Larrea},
title = {Models of Martin-L{\"{o}}f Type Theory From Algebraic Weak Factorisation
Systems},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {242--289},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.39},
doi = {10.1017/JSL.2021.39},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GambinoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GiltonLS23,
author = {Thomas Gilton and
Maxwell Levine and
S{\'{a}}rka Stejskalov{\'{a}}},
title = {Trees and stationary Reflection at double Successors of Regular Cardinals},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {780--810},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.13},
doi = {10.1017/JSL.2022.13},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GiltonLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GismatullinJK23,
author = {Jakub Gismatullin and
Grzegorz Jagiella and
Krzysztof Krupinski},
title = {Bohr compactifications of Groups and Rings},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1103--1137},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.10},
doi = {10.1017/JSL.2022.10},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GismatullinJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GitikK23,
author = {Moti Gitik and
Eyal Kaplan},
title = {On Restrictions of Ultrafilters From Generic Extensions To Ground
Models},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {169--190},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.26},
doi = {10.1017/JSL.2022.26},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GitikK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gogolok23,
author = {Jakub Gogolok},
title = {Model Theory of Derivations of the Frobenius Map Revisited},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1213--1229},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.85},
doi = {10.1017/JSL.2021.85},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gogolok23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goh23,
author = {Jun Le Goh},
title = {The strength of an Axiom of finite Choice for Branches in Trees},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1367--1386},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.39},
doi = {10.1017/JSL.2023.39},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Goh23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GohKMS23,
author = {Jun Le Goh and
Iskander Sh. Kalimullin and
Joseph S. Miller and
Mariya Ivanova Soskova},
title = {Pa Relative to an Enumeration Oracle},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1497--1525},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.55},
doi = {10.1017/JSL.2022.55},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GohKMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HallbackMT23,
author = {Andreas Hallb{\"{a}}ck and
Maciej Malicki and
Todor Tsankov},
title = {Continuous Logic and Borel Equivalence Relations},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1725--1752},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.48},
doi = {10.1017/JSL.2022.48},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HallbackMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HoffmannK23,
author = {Daniel Max Hoffmann and
Piotr Kowalski},
title = {Model Theory of Fields with finite Group Scheme Actions},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1443--1468},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.21},
doi = {10.1017/JSL.2022.21},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HoffmannK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HoffmannP23,
author = {Daniel Max Hoffmann and
Anand Pillay},
title = {Thorn Forking, Weak normality, and Theories with Selectors},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1354--1366},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.64},
doi = {10.1017/JSL.2023.64},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HoffmannP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JansanaM23,
author = {Ramon Jansana and
Tommaso Moraschini},
title = {The Poset of All Logics {II:} Leibniz Classes and Hierarchy},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {324--362},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.49},
doi = {10.1017/JSL.2021.49},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JansanaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KentaroW23,
author = {Sato Kentaro and
Jan Walker},
title = {Finitist Axiomatic Truth},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {22--73},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.65},
doi = {10.1017/JSL.2022.65},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KentaroW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KolodziejczykKY23,
author = {Leszek Aleksander Kolodziejczyk and
Katarzyna W. Kowalik and
Keita Yokoyama},
title = {How Strong is Ramsey's Theorem if infinity can be Weak?},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {620--639},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.46},
doi = {10.1017/JSL.2022.46},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/KolodziejczykKY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kontinen023,
author = {Juha Kontinen and
Fan Yang},
title = {Complete Logics for Elementary Team Properties},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {579--619},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.80},
doi = {10.1017/JSL.2022.80},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kontinen023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koussas23,
author = {James Mathew Koussas},
title = {Finite Relation Algebras},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {874--888},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.81},
doi = {10.1017/JSL.2021.81},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Koussas23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KrappKL23,
author = {Lothar Sebastian Krapp and
Salma Kuhlmann and
Moritz Link},
title = {Definability of Henselian Valuations by conditions on the Value Group},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1064--1082},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.34},
doi = {10.1017/JSL.2022.34},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/KrappKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lambie-HansonR23,
author = {Chris Lambie{-}Hanson and
Assaf Rinot},
title = {Knaster and Friends {III:} Subadditive colorings},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1230--1280},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.50},
doi = {10.1017/JSL.2022.50},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Lambie-HansonR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LaskowskiU23,
author = {Michael C. Laskowski and
Douglas S. Ulrich},
title = {Most(?) Theories Have Borel Complete Reducts},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {418--426},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.78},
doi = {10.1017/JSL.2021.78},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/LaskowskiU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lee23,
author = {Junguk Lee},
title = {The Embedding Property for Sorted Profinite Groups},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1005--1037},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.16},
doi = {10.1017/JSL.2023.16},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Lee23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lelyk23,
author = {Mateusz Lelyk},
title = {Model Theory and Proof Theory of the Global Reflection Principle},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {738--779},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.39},
doi = {10.1017/JSL.2022.39},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Lelyk23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LemppMNS23,
author = {Steffen Lempp and
Joseph S. Miller and
Andr{\'{e}} Nies and
Mariya Ivanova Soskova},
title = {Maximal Towers and Ultrafilter Bases in Computability Theory},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1170--1190},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.60},
doi = {10.1017/JSL.2022.60},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LemppMNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LiebermanRV23,
author = {Michael J. Lieberman and
Jir{\'{\i}} Rosick{\'{y}} and
Sebastien Vasey},
title = {Cellular Categories and stable Independence},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {811--834},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.40},
doi = {10.1017/JSL.2022.40},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/LiebermanRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Loesch23,
author = {Michael Loesch},
title = {Additive Covers and the Canonical Base Property},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {118--144},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.64},
doi = {10.1017/JSL.2021.64},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Loesch23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MazariArmida23,
author = {Marcos Mazari{-}Armida},
title = {Some Stable Non-Elementary Classes of Modules},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {93--117},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.68},
doi = {10.1017/JSL.2021.68},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MazariArmida23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MetcalfeR23,
author = {George Metcalfe and
Luca Reggio},
title = {Model Completions for Universal Classes of Algebras: Necessary and
Sufficient Conditions},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {381--417},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.1},
doi = {10.1017/JSL.2022.1},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MetcalfeR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mohammadpour23,
author = {Rahman Mohammadpour},
title = {Specialising Trees with Small Approximations {I}},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {640--663},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.24},
doi = {10.1017/JSL.2022.24},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mohammadpour23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PengWY23,
author = {Yinhe Peng and
Liuzhen Wu and
Liang Yu},
title = {Some Consequences of and},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1573--1589},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.29},
doi = {10.1017/JSL.2023.29},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/PengWY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PillayY23,
author = {Anand Pillay and
Ningyuan Yao},
title = {On Groups with Definable \emph{F}-generics Definable in \emph{P}-Adically
closed Fields},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1334--1353},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.37},
doi = {10.1017/JSL.2023.37},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/PillayY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sargsyan23,
author = {Grigor Sargsyan},
title = {Negative Results on Precipitous ideals on},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {490--509},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.70},
doi = {10.1017/JSL.2022.70},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Sargsyan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ShelahS23,
author = {Saharon Shelah and
Lajos Soukup},
title = {On {\(\kappa\)}-Homogeneous, but Not {\(\kappa\)}-Transitive Permutation
Groups},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {363--380},
year = {2023},
url = {https://doi.org/10.1017/jsl.2021.63},
doi = {10.1017/JSL.2021.63},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/ShelahS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shore23,
author = {Richard A. Shore},
title = {Almost theorems of Hyperarithmetic Analysis},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {664--696},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.58},
doi = {10.1017/JSL.2022.58},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Shore23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Vicaria23,
author = {Mariana Vicar{\'{\i}}a},
title = {Elimination of Imaginaries in Ordered Abelian Groups with Bounded
Regular Rank},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1639--1654},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.6},
doi = {10.1017/JSL.2023.6},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Vicaria23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Walker23,
author = {Roland Walker},
title = {Distality Rank},
journal = {J. Symb. Log.},
volume = {88},
number = {2},
pages = {704--737},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.61},
doi = {10.1017/JSL.2022.61},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Walker23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yaar23,
author = {Ur Ya'ar},
title = {Iterating the cofinality- Constructible Model},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1682--1691},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.93},
doi = {10.1017/JSL.2022.93},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Yaar23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yamamoto23,
author = {Kentar{\^{o}} Yamamoto},
title = {The automorphism Group of the FRA{\"{\i}}SS{\'{e}} Limit
of finite Heyting Algebras},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1310--1320},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.43},
doi = {10.1017/JSL.2022.43},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Yamamoto23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yamamoto23a,
author = {Kentar{\^{o}} Yamamoto},
title = {The automorphism Group of the FRA{\"{\i}}SS{\'{e}} Limit
of finite Heyting Algebras - addendum},
journal = {J. Symb. Log.},
volume = {88},
number = {3},
pages = {1321--1322},
year = {2023},
url = {https://doi.org/10.1017/jsl.2023.15},
doi = {10.1017/JSL.2023.15},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Yamamoto23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yorioka23,
author = {Teruyuki Yorioka},
title = {Asper{\'{o}}-Mota Iteration and the Size of the continuum},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1387--1420},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.37},
doi = {10.1017/JSL.2022.37},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Yorioka23.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-06-03 23:19 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:
