Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/journals/jml:"
@article{DBLP:journals/jml/BaldwinS24, author = {John T. Baldwin and Saharon Shelah}, title = {Maximal models up to the first measurable in {ZFC}}, journal = {J. Math. Log.}, volume = {24}, number = {1}, pages = {2250011:1--2250011:27}, year = {2024}, url = {https://doi.org/10.1142/S0219061322500118}, doi = {10.1142/S0219061322500118}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/BaldwinS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Cody24, author = {Brent Cody}, title = {Higher indescribability and derived topologies}, journal = {J. Math. Log.}, volume = {24}, number = {1}, pages = {2350001:1--2350001:48}, year = {2024}, url = {https://doi.org/10.1142/S0219061323500010}, doi = {10.1142/S0219061323500010}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Cody24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/FernandezBreton24, author = {David J. Fern{\'{a}}ndez{-}Bret{\'{o}}n}, title = {Hindman's theorem in the hierarchy of choice principles}, journal = {J. Math. Log.}, volume = {24}, number = {1}, pages = {2350002:1--2350002:22}, year = {2024}, url = {https://doi.org/10.1142/S0219061323500022}, doi = {10.1142/S0219061323500022}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/FernandezBreton24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Goldberg24, author = {Gabriel Goldberg}, title = {Strongly compact cardinals and ordinal definability}, journal = {J. Math. Log.}, volume = {24}, number = {1}, pages = {2250010:1--2250010:22}, year = {2024}, url = {https://doi.org/10.1142/S0219061322500106}, doi = {10.1142/S0219061322500106}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Goldberg24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Mildenberger24, author = {Heike Mildenberger}, title = {Exactly two and exactly three near-coherence classes}, journal = {J. Math. Log.}, volume = {24}, number = {1}, pages = {2350003:1--2350003:41}, year = {2024}, url = {https://doi.org/10.1142/S0219061323500034}, doi = {10.1142/S0219061323500034}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Mildenberger24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MitchellS24, author = {William J. Mitchell and Ernest Schimmerling}, title = {Covering at limit cardinals of {K}}, journal = {J. Math. Log.}, volume = {24}, number = {1}, pages = {2350004:1--2350004:32}, year = {2024}, url = {https://doi.org/10.1142/S0219061323500046}, doi = {10.1142/S0219061323500046}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/MitchellS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AhnKL23, author = {JinHoo Ahn and Joonhee Kim and Junguk Lee}, title = {On the antichain tree property}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250021:1--2250021:36}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500210}, doi = {10.1142/S0219061322500210}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AhnKL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AllisonS23, author = {Shaun Allison and Assaf Shani}, title = {Actions of tame abelian product groups}, journal = {J. Math. Log.}, volume = {23}, number = {3}, pages = {2250028:1--2250028:25}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500283}, doi = {10.1142/S0219061322500283}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AllisonS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Barbosa23, author = {Keegan Dasilva Barbosa}, title = {Decomposing Aronszajn lines}, journal = {J. Math. Log.}, volume = {23}, number = {1}, pages = {2250017:1--2250017:20}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500179}, doi = {10.1142/S0219061322500179}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Barbosa23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BenNeriaZ23, author = {Omer Ben{-}Neria and Jing Zhang}, title = {Compactness and guessing principles in the Radin extensions}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250024:1--2250024:22}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500246}, doi = {10.1142/S0219061322500246}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BenNeriaZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BergfalkHL23, author = {Jeffrey Bergfalk and Michael Hrus{\'{a}}k and Chris Lambie{-}Hanson}, title = {Simultaneously vanishing higher derived limits without large cardinals}, journal = {J. Math. Log.}, volume = {23}, number = {1}, pages = {2250019:1--2250019:40}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500192}, doi = {10.1142/S0219061322500192}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BergfalkHL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ChanJT23, author = {William Chan and Stephen Jackson and Nam Trang}, title = {More definable combinatorics around the first and second uncountable cardinals}, journal = {J. Math. Log.}, volume = {23}, number = {3}, pages = {2250029:1--2250029:31}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500295}, doi = {10.1142/S0219061322500295}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ChanJT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ChernikovHKKMPR23, author = {Artem Chernikov and Ehud Hrushovski and Alex Kruckman and Krzysztof Krupinski and Slavko Moconja and Anand Pillay and Nicholas Ramsey}, title = {Invariant measures in simple and in small theories}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250025:1--2250025:37}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500258}, doi = {10.1142/S0219061322500258}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/ChernikovHKKMPR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CieslinskiLW23, author = {Cezary Cieslinski and Mateusz Lelyk and Bartosz Wcislo}, title = {The two halves of disjunctive correctness}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250026:1--2250026:28}, year = {2023}, url = {https://doi.org/10.1142/S021906132250026X}, doi = {10.1142/S021906132250026X}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CieslinskiLW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CoxE23, author = {Sean Cox and Monroe Eskew}, title = {Compactness versus hugeness at successor cardinals}, journal = {J. Math. Log.}, volume = {23}, number = {1}, pages = {2250016:1--2250016:16}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500167}, doi = {10.1142/S0219061322500167}, timestamp = {Wed, 21 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/CoxE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CuthDK23, author = {Marek C{\'{u}}th and Michal Doucha and Ondrej Kurka}, title = {Complexity of distances: Theory of generalized analytic equivalence relations}, journal = {J. Math. Log.}, volume = {23}, number = {1}, pages = {2250014:1--2250014:45}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500143}, doi = {10.1142/S0219061322500143}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CuthDK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Dobrinen23, author = {Natasha Dobrinen}, title = {The Ramsey theory of Henson graphs}, journal = {J. Math. Log.}, volume = {23}, number = {1}, pages = {2250018:1--2250018:88}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500180}, doi = {10.1142/S0219061322500180}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Dobrinen23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Fanlo23, author = {A. Rodriguez Fanlo}, title = {On piecewise hyperdefinable groups}, journal = {J. Math. Log.}, volume = {23}, number = {3}, pages = {2250027:1--2250027:68}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500271}, doi = {10.1142/S0219061322500271}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Fanlo23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/FreitagJM23, author = {James Freitag and R{\'{e}}mi Jaoui and Rahim Moosa}, title = {The degree of nonminimality is at most 2}, journal = {J. Math. Log.}, volume = {23}, number = {3}, pages = {2250031:1--2250031:6}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500313}, doi = {10.1142/S0219061322500313}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/FreitagJM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HoffmannL23, author = {Daniel Max Hoffmann and Junguk Lee}, title = {Co-theory of sorted profinite groups for {PAC} structures}, journal = {J. Math. Log.}, volume = {23}, number = {3}, pages = {2250030:1--2250030:60}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500301}, doi = {10.1142/S0219061322500301}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HoffmannL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KaplanRS23, author = {Itay Kaplan and Nicholas Ramsey and Saharon Shelah}, title = {Exact saturation in pseudo-elementary classes for simple and stable theories}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250020:1--2250020:26}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500209}, doi = {10.1142/S0219061322500209}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KaplanRS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/PakhomovW23, author = {Fedor Pakhomov and James Walsh}, title = {Reducing {\(\omega\)}-model reflection to iterated syntactic reflection}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250001:1--2250001:40}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500015}, doi = {10.1142/S0219061322500015}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/PakhomovW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/PakhomovW23a, author = {Fedor Pakhomov and James Walsh}, title = {Corrigendum to Reducing {\(\omega\)}-model reflection to iterated syntactic reflection}, journal = {J. Math. Log.}, volume = {23}, number = {3}, pages = {2392001:1--2392001:11}, year = {2023}, url = {https://doi.org/10.1142/S0219061323920010}, doi = {10.1142/S0219061323920010}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/PakhomovW23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/TowsnerWW23, author = {Henry Towsner and Rose Weisshaar and Linda Westrick}, title = {Borel combinatorics fail in {HYP}}, journal = {J. Math. Log.}, volume = {23}, number = {2}, pages = {2250023:1--2250023:19}, year = {2023}, url = {https://doi.org/10.1142/S0219061322500234}, doi = {10.1142/S0219061322500234}, timestamp = {Thu, 29 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/TowsnerWW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AsperoV22, author = {David Asper{\'{o}} and Matteo Viale}, title = {Incompatible bounded category forcing axioms}, journal = {J. Math. Log.}, volume = {22}, number = {2}, pages = {2250006:1--2250006:76}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500064}, doi = {10.1142/S0219061322500064}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AsperoV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BezhanishviliGJ22, author = {Guram Bezhanishvili and David Gabelaia and Mamuka Jibladze}, title = {A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras}, journal = {J. Math. Log.}, volume = {22}, number = {3}, pages = {2250013:1--2250013:21}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500131}, doi = {10.1142/S0219061322500131}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/BezhanishviliGJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ClemensC22, author = {John D. Clemens and Samuel Coskey}, title = {New jump operators on equivalence relations}, journal = {J. Math. Log.}, volume = {22}, number = {3}, pages = {2250015:1--2250015:44}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500155}, doi = {10.1142/S0219061322500155}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ClemensC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CroneFJ22, author = {Logan Crone and Lior Fishman and Stephen Jackson}, title = {Equivalence relations and determinacy}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2250003:1--2250003:19}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500039}, doi = {10.1142/S0219061322500039}, timestamp = {Fri, 08 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CroneFJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CsimaN22, author = {Barbara F. Csima and Keng Meng Ng}, title = {Every {\(\Delta\)}20 degree is a strong degree of categoricity}, journal = {J. Math. Log.}, volume = {22}, number = {3}, pages = {2250022:1--2250022:18}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500222}, doi = {10.1142/S0219061322500222}, timestamp = {Tue, 03 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/CsimaN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DzhafarovHR22, author = {Damir D. Dzhafarov and Denis R. Hirschfeldt and Sarah Reitzes}, title = {Reduction games, provability and compactness}, journal = {J. Math. Log.}, volume = {22}, number = {3}, pages = {2250009:1--2250009:37}, year = {2022}, url = {https://doi.org/10.1142/S021906132250009X}, doi = {10.1142/S021906132250009X}, timestamp = {Tue, 03 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/DzhafarovHR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GiltonN22, author = {Thomas Gilton and Itay Neeman}, title = {Abraham-Rubin-Shelah open colorings and a large continuum}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150027:1--2150027:55}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500276}, doi = {10.1142/S0219061321500276}, timestamp = {Fri, 08 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GiltonN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Goldberg22, author = {Gabriel Goldberg}, title = {Strong compactness and the ultrapower axiom {I:} the least strongly compact cardinal}, journal = {J. Math. Log.}, volume = {22}, number = {2}, pages = {2250005:1--2250005:41}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500052}, doi = {10.1142/S0219061322500052}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Goldberg22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HagaST22, author = {Karen Bakke Haga and David Schrittesser and Asger T{\"{o}}rnquist}, title = {Maximal almost disjoint families, determinacy, and forcing}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150026:1--2150026:42}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500264}, doi = {10.1142/S0219061321500264}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/HagaST22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Hoffelner22, author = {Stefan Hoffelner}, title = {Forcing the {\(\Sigma\)}31-separation property}, journal = {J. Math. Log.}, volume = {22}, number = {2}, pages = {2250008:1--2250008:38}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500088}, doi = {10.1142/S0219061322500088}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Hoffelner22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HoffmannS22, author = {Daniel Max Hoffmann and Omar Le{\'{o}}n S{\'{a}}nchez}, title = {Model theory of differential fields with finite group actions}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2250002:1--2250002:31}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500027}, doi = {10.1142/S0219061322500027}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HoffmannS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Johnson22, author = {Will Johnson}, title = {Forking and dividing in fields with several orderings and valuations}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150025:1--2150025:43}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500252}, doi = {10.1142/S0219061321500252}, timestamp = {Fri, 08 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Johnson22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KolodziejczykT22, author = {Leszek Aleksander Kolodziejczyk and Neil Thapen}, title = {Approximate counting and {NP} search problems}, journal = {J. Math. Log.}, volume = {22}, number = {3}, pages = {2250012:1--2250012:31}, year = {2022}, url = {https://doi.org/10.1142/S021906132250012X}, doi = {10.1142/S021906132250012X}, timestamp = {Tue, 03 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/KolodziejczykT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KovacsicsD22, author = {Pablo Cubides Kovacsics and Fran{\c{c}}oise Delon}, title = {Definable completeness of P-minimal fields and applications}, journal = {J. Math. Log.}, volume = {22}, number = {2}, pages = {2250004:1--2250004:16}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500040}, doi = {10.1142/S0219061322500040}, timestamp = {Wed, 10 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KovacsicsD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Lucke22, author = {Philipp L{\"{u}}cke}, title = {Structural reflection, shrewd cardinals and the size of the continuum}, journal = {J. Math. Log.}, volume = {22}, number = {2}, pages = {2250007:1--2250007:43}, year = {2022}, url = {https://doi.org/10.1142/S0219061322500076}, doi = {10.1142/S0219061322500076}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Lucke22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Mennuni22, author = {Rosario Mennuni}, title = {The domination monoid in o-minimal theories}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150030:1--2150030:36}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500306}, doi = {10.1142/S0219061321500306}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Mennuni22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Miller22, author = {Benjamin D. Miller}, title = {A generalization of the {\unicode{54590}}0 dichotomy and a strengthening of the {\unicode{54588}}0{\(\mathbb{N}\)} dichotomy}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150028:1--2150028:19}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500288}, doi = {10.1142/S0219061321500288}, timestamp = {Fri, 08 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Miller22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/NiesST22, author = {Andr{\'{e}} Nies and Philipp Schlicht and Katrin Tent}, title = {Coarse groups, and the isomorphism problem for oligomorphic groups}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150029:1--2150029:31}, year = {2022}, url = {https://doi.org/10.1142/S021906132150029X}, doi = {10.1142/S021906132150029X}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/NiesST22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/PovedaRS22, author = {Alejandro Poveda and Assaf Rinot and Dima Sinapova}, title = {Sigma-Prikry forcing {II:} Iteration Scheme}, journal = {J. Math. Log.}, volume = {22}, number = {3}, pages = {2150019:1--2150019:59}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500197}, doi = {10.1142/S0219061321500197}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/PovedaRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Wilson22, author = {Trevor M. Wilson}, title = {The large cardinal strength of weak Vopenka's principle}, journal = {J. Math. Log.}, volume = {22}, number = {1}, pages = {2150024:1--2150024:15}, year = {2022}, url = {https://doi.org/10.1142/S0219061321500240}, doi = {10.1142/S0219061321500240}, timestamp = {Fri, 08 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Wilson22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AmatoCM21, author = {Daniela A. Amato and Gregory L. Cherlin and H. Dugald Macpherson}, title = {Metrically homogeneous graphs of diameter 3}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2050020:1--2050020:106}, year = {2021}, url = {https://doi.org/10.1142/S0219061320500208}, doi = {10.1142/S0219061320500208}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/AmatoCM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AndrewsHS21, author = {Uri Andrews and Matthew Harrison{-}Trainor and Noah Schweber}, title = {The property "arithmetic-is-recursive" on a cone}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150021:1--2150021:18}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500215}, doi = {10.1142/S0219061321500215}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AndrewsHS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BartoKOPP21, author = {Libor Barto and Michael Kompatscher and Miroslav Ols{\'{a}}k and Trung Van Pham and Michael Pinsker}, title = {Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for {\(\omega\)}-categorical structures}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2192001:1}, year = {2021}, url = {https://doi.org/10.1142/S021906132192001X}, doi = {10.1142/S021906132192001X}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/BartoKOPP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BodirskyQ21, author = {Manuel Bodirsky and Thomas Quinn{-}Gregson}, title = {Solving equation systems in {\(\omega\)}-categorical algebras}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150020:1--2150020:31}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500203}, doi = {10.1142/S0219061321500203}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BodirskyQ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BoneyL21, author = {Will Boney and Michael J. Lieberman}, title = {Tameness, powerful images, and large cardinals}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2050024:1--2050024:18}, year = {2021}, url = {https://doi.org/10.1142/S0219061320500245}, doi = {10.1142/S0219061320500245}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BoneyL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CarroyMV21, author = {Rapha{\"{e}}l Carroy and Benjamin D. Miller and Zolt{\'{a}}n Vidny{\'{a}}nszky}, title = {On the existence of small antichains for definable quasi-orders}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150005:1--2150005:10}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500057}, doi = {10.1142/S0219061321500057}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/CarroyMV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Chan21, author = {William Chan}, title = {Bounds on Scott ranks of some polish metric spaces}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2150001:1--2150001:23}, year = {2021}, url = {https://doi.org/10.1142/S021906132150001X}, doi = {10.1142/S021906132150001X}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Chan21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ChernikovS21, author = {Artem Chernikov and Sergei Starchenko}, title = {Model-theoretic Elekes-Szab{\'{o}} in the strongly minimal case}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150004:1--2150004:20}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500045}, doi = {10.1142/S0219061321500045}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ChernikovS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ConantP21, author = {Gabriel Conant and Anand Pillay}, title = {Pseudofinite groups and VC-dimension}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150009:1--2150009:23}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500094}, doi = {10.1142/S0219061321500094}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ConantP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/EnayatK21, author = {Ali Enayat and Vladimir Kanovei}, title = {An unpublished theorem of Solovay on {OD} partitions of reals into two non-OD parts, revisited}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150014:1--2150014:22}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500148}, doi = {10.1142/S0219061321500148}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/EnayatK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/EshelK21, author = {Shlomo Eshel and Itay Kaplan}, title = {On uniform definability of types over finite sets for {NIP} formulas}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150015:1--2150015:13}, year = {2021}, url = {https://doi.org/10.1142/S021906132150015X}, doi = {10.1142/S021906132150015X}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/EshelK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/FornasieroK21, author = {Antongiulio Fornasiero and Elliot Kaplan}, title = {Generic derivations on o-minimal structures}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150007:1--2150007:45}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500070}, doi = {10.1142/S0219061321500070}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/FornasieroK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Fuchs21, author = {Gunter Fuchs}, title = {Canonical fragments of the strong reflection principle}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150023:1--2150023:58}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500239}, doi = {10.1142/S0219061321500239}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Fuchs21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Goldberg21, author = {Gabriel Goldberg}, title = {The Ultrapower Axiom and the {GCH}}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150017:1--2150017:22}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500173}, doi = {10.1142/S0219061321500173}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Goldberg21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GoldsternKMS21, author = {Martin Goldstern and Jakob Kellner and Diego A. Mej{\'{\i}}a and Saharon Shelah}, title = {Controlling cardinal characteristics without adding reals}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150018:1--2150018:29}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500185}, doi = {10.1142/S0219061321500185}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GoldsternKMS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GolshaniS21, author = {Mohammad Golshani and Saharon Shelah}, title = {Specializing trees and answer to a question of Williams}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2050023:1--2050023:20}, year = {2021}, url = {https://doi.org/10.1142/S0219061320500233}, doi = {10.1142/S0219061320500233}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/GolshaniS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GregoriadesKN21, author = {Vassilios Gregoriades and Takayuki Kihara and Keng Meng Ng}, title = {Turing degrees in Polish spaces and decomposability of Borel functions}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2050021:1--2050021:41}, year = {2021}, url = {https://doi.org/10.1142/S021906132050021X}, doi = {10.1142/S021906132050021X}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GregoriadesKN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KennedyMV21, author = {Juliette Kennedy and Menachem Magidor and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Inner models from extended logics: Part 1}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150012:1--2150012:53}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500124}, doi = {10.1142/S0219061321500124}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KennedyMV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KruckmanTW21, author = {Alex Kruckman and Chieu{-}Minh Tran and Erik Walsberg}, title = {Interpolative fusions}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150010:1--2150010:38}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500100}, doi = {10.1142/S0219061321500100}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KruckmanTW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Lambie-HansonR21, author = {Chris Lambie{-}Hanson and Assaf Rinot}, title = {Knaster and friends {II:} The C-sequence number}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2150002:1--2150002:54}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500021}, doi = {10.1142/S0219061321500021}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Lambie-HansonR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MangravitiR21, author = {Francesco Mangraviti and Luca Motto Ros}, title = {A descriptive Main Gap Theorem}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2050025:1--2050025:40}, year = {2021}, url = {https://doi.org/10.1142/S0219061320500257}, doi = {10.1142/S0219061320500257}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MangravitiR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/McKenneyV21, author = {Paul McKenney and Alessandro Vignati}, title = {Forcing axioms and coronas of C{\({_\ast}\)}-algebras}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150006:1--2150006:73}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500069}, doi = {10.1142/S0219061321500069}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/McKenneyV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MohammadpourV21, author = {Rahman Mohammadpour and Boban Velickovic}, title = {Guessing models and the approachability ideal}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150003:1--2150003:35}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500033}, doi = {10.1142/S0219061321500033}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MohammadpourV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MoninP21, author = {Benoit Monin and Ludovic Patey}, title = {The weakness of the pigeonhole principle under hyperarithmetical reductions}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150013:1--2150013:41}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500136}, doi = {10.1142/S0219061321500136}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MoninP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Poor21, author = {M{\'{a}}rk Po{\'{o}}r}, title = {Answer to a question of Ros{\l}anowski and Shelah}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150022:1--2150022:42}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500227}, doi = {10.1142/S0219061321500227}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Poor21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Schlutzenberg21, author = {Farmer Schlutzenberg}, title = {Iterability for (transfinite) stacks}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150008:1--2150008:117}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500082}, doi = {10.1142/S0219061321500082}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Schlutzenberg21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Wehrung21, author = {Friedrich Wehrung}, title = {From noncommutative diagrams to anti-elementary classes}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150011:1--2150011:56}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500112}, doi = {10.1142/S0219061321500112}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Wehrung21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zou21, author = {Tingxiang Zou}, title = {Pseudofinite difference fields and counting dimensions}, journal = {J. Math. Log.}, volume = {21}, number = {1}, pages = {2050022:1--2050022:28}, year = {2021}, url = {https://doi.org/10.1142/S0219061320500221}, doi = {10.1142/S0219061320500221}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Zou21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/dElbee21, author = {Christian d'Elb{\'{e}}e}, title = {Generic expansions by a reduct}, journal = {J. Math. Log.}, volume = {21}, number = {3}, pages = {2150016:1--2150016:44}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500161}, doi = {10.1142/S0219061321500161}, timestamp = {Thu, 05 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/dElbee21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BagariaMM20, author = {Joan Bagaria and Menachem Magidor and Salvador Mancilla}, title = {The consistency strength of hyperstationarity}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {2050004}, year = {2020}, url = {https://doi.org/10.1142/s021906132050004x}, doi = {10.1142/S021906132050004X}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BagariaMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BarbinaC20, author = {Silvia Barbina and Enrique Casanovas}, title = {Model theory of Steiner triple systems}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050010:1--2050010:26}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500105}, doi = {10.1142/S0219061320500105}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BarbinaC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BaroEP20, author = {El{\'{\i}}as Baro and Pantelis E. Eleftheriou and Ya'acov Peterzil}, title = {Locally definable subgroups of semialgebraic groups}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050009:1--2050009:17}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500099}, doi = {10.1142/S0219061320500099}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/BaroEP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CalderoniMR20, author = {Filippo Calderoni and Heike Mildenberger and Luca Motto Ros}, title = {Uncountable structures are not classifiable up to bi-embeddability}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {2050001}, year = {2020}, url = {https://doi.org/10.1142/s0219061320500014}, doi = {10.1142/S0219061320500014}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CalderoniMR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CarroyMM20, author = {Rapha{\"{e}}l Carroy and Andrea Medini and Sandra M{\"{u}}ller}, title = {Every zero-dimensional homogeneous space is strongly homogeneous under determinacy}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050015:1--2050015:28}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500154}, doi = {10.1142/S0219061320500154}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/CarroyMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ChambilleKL20, author = {Saskia Chambille and Pablo Cubides Kovacsics and Eva Leenknegt}, title = {Exponential-constructible functions in P-minimal structures}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050005:1--2050005:29}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500051}, doi = {10.1142/S0219061320500051}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ChambilleKL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ConantL20, author = {Gabriel Conant and Michael C. Laskowski}, title = {Weakly minimal groups with a new predicate}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050011:1--2050011:27}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500117}, doi = {10.1142/S0219061320500117}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ConantL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DarniereT20, author = {Luck Darni{\`{e}}re and Marcus Tressl}, title = {Defining integer-valued functions in rings of continuous definable functions over a topological field}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050014:1--2050014:24}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500142}, doi = {10.1142/S0219061320500142}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DarniereT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Dobrinen20, author = {Natasha Dobrinen}, title = {The Ramsey theory of the universal homogeneous triangle-free graph}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050012:1--2050012:75}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500129}, doi = {10.1142/S0219061320500129}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Dobrinen20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Eskew20, author = {Monroe Eskew}, title = {Local saturation and square everywhere}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050019:1--2050019:33}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500191}, doi = {10.1142/S0219061320500191}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Eskew20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Freund20, author = {Anton Freund}, title = {Computable aspects of the Bachmann-Howard principle}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050006:1--2050006:26}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500063}, doi = {10.1142/S0219061320500063}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Freund20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Gitik20, author = {Moti Gitik}, title = {Extender-based forcings with overlapping extenders and negations of the Shelah Weak Hypothesis}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050013:1--2050013:34}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500130}, doi = {10.1142/S0219061320500130}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Gitik20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GolshaniH20, author = {Mohammad Golshani and Yair Hayut}, title = {The special Aronszajn tree property}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {2050003}, year = {2020}, url = {https://doi.org/10.1142/s0219061320500038}, doi = {10.1142/S0219061320500038}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GolshaniH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GreenbergMN20, author = {Noam Greenberg and Joseph S. Miller and Andr{\'{e}} Nies}, title = {Computing from projections of random points}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {1950014}, year = {2020}, url = {https://doi.org/10.1142/s0219061319500144}, doi = {10.1142/S0219061319500144}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GreenbergMN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HaleviHJ20, author = {Yatir Halevi and Assaf Hasson and Franziska Jahnke}, title = {Definable V-topologies, Henselianity and {NIP}}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050008:1--2050008:33}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500087}, doi = {10.1142/S0219061320500087}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/HaleviHJ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Jerabek20, author = {Emil Jer{\'{a}}bek}, title = {Recursive functions and existentially closed structures}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {2050002}, year = {2020}, url = {https://doi.org/10.1142/s0219061320500026}, doi = {10.1142/S0219061320500026}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Jerabek20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KrupinskiR20, author = {Krzysztof Krupinski and Tomasz Rzepecki}, title = {Galois groups as quotients of Polish groups}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050018:1--2050018:48}, year = {2020}, url = {https://doi.org/10.1142/S021906132050018X}, doi = {10.1142/S021906132050018X}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KrupinskiR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MullerSW20, author = {Sandra M{\"{u}}ller and Ralf Schindler and W. Hugh Woodin}, title = {Mice with finitely many Woodin cardinals from optimal determinacy hypotheses}, journal = {J. Math. Log.}, volume = {20}, number = {Supplement-1}, pages = {1950013:1--1950013:118}, year = {2020}, url = {https://doi.org/10.1142/S0219061319500132}, doi = {10.1142/S0219061319500132}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/MullerSW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Towsner20, author = {Henry Towsner}, title = {Constructing sequences one step at a time}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050017:1--2050017:43}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500178}, doi = {10.1142/S0219061320500178}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Towsner20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Turetsky20, author = {Dan Turetsky}, title = {Coding in the automorphism group of a computably categorical structure}, journal = {J. Math. Log.}, volume = {20}, number = {3}, pages = {2050016:1--2050016:24}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500166}, doi = {10.1142/S0219061320500166}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Turetsky20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zhang20, author = {Jing Zhang}, title = {Rado's Conjecture and its Baire version}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {1950015}, year = {2020}, url = {https://doi.org/10.1142/s0219061319500156}, doi = {10.1142/S0219061319500156}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zhang20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zhukovskii20, author = {Maksim E. Zhukovskii}, title = {Logical laws for short existential monadic second-order sentences about graphs}, journal = {J. Math. Log.}, volume = {20}, number = {2}, pages = {2050007:1--2050007:23}, year = {2020}, url = {https://doi.org/10.1142/S0219061320500075}, doi = {10.1142/S0219061320500075}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zhukovskii20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zou20, author = {Tingxiang Zou}, title = {Pseudofinite difference fields}, journal = {J. Math. Log.}, volume = {20}, number = {1}, pages = {1993001}, year = {2020}, url = {https://doi.org/10.1142/s0219061319930012}, doi = {10.1142/S0219061319930012}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zou20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AndrewsGK19, author = {Uri Andrews and Isaac Goldbring and H. Jerome Keisler}, title = {Independence in randomizations}, journal = {J. Math. Log.}, volume = {19}, number = {1}, pages = {1950005:1--1950005:42}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500053}, doi = {10.1142/S0219061319500053}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AndrewsGK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BartoKOPP19, author = {Libor Barto and Michael Kompatscher and Miroslav Ols{\'{a}}k and Van Trung Pham and Michael Pinsker}, title = {Equations in oligomorphic clones and the constraint satisfaction problem for {\(\omega\)}-categorical structures}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950010:1--1950010:31}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500107}, doi = {10.1142/S0219061319500107}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/BartoKOPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Ben-Neria19, author = {Omer Ben{-}Neria}, title = {Diamonds, compactness, and measure sequences}, journal = {J. Math. Log.}, volume = {19}, number = {1}, pages = {1950002:1--1950002:20}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500028}, doi = {10.1142/S0219061319500028}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Ben-Neria19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BrattkaRMP19, author = {Vasco Brattka and St{\'{e}}phane Le Roux and Joseph S. Miller and Arno Pauly}, title = {Connected choice and the Brouwer fixed point theorem}, journal = {J. Math. Log.}, volume = {19}, number = {1}, pages = {1950004:1--1950004:46}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500041}, doi = {10.1142/S0219061319500041}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BrattkaRMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CamerloCM19, author = {Riccardo Camerlo and Rapha{\"{e}}l Carroy and Alberto Marcone}, title = {Linear orders: When embeddability and epimorphism agree}, journal = {J. Math. Log.}, volume = {19}, number = {1}, pages = {1950003:1--1950003:32}, year = {2019}, url = {https://doi.org/10.1142/S021906131950003X}, doi = {10.1142/S021906131950003X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CamerloCM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Chan19, author = {William Chan}, title = {Ordinal definability and combinatorics of equivalence relations}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950009:1--1950009:24}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500090}, doi = {10.1142/S0219061319500090}, timestamp = {Mon, 25 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Chan19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Chatzidakis19, author = {Zo{\'{e}} Chatzidakis}, title = {Amalgamation of types in pseudo-algebraically closed fields and applications}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950006:1--1950006:28}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500065}, doi = {10.1142/S0219061319500065}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Chatzidakis19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/FriedmanGK19, author = {Sy{-}David Friedman and Victoria Gitman and Vladimir Kanovei}, title = {A model of second-order arithmetic satisfying {AC} but not {DC}}, journal = {J. Math. Log.}, volume = {19}, number = {1}, pages = {1850013:1--1850013:39}, year = {2019}, url = {https://doi.org/10.1142/S0219061318500137}, doi = {10.1142/S0219061318500137}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/FriedmanGK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KrupinskiNS19, author = {Krzysztof Krupinski and Ludomir Newelski and Pierre Simon}, title = {Boundedness and absoluteness of some dynamical invariants in model theory}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950012:1--1950012:55}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500120}, doi = {10.1142/S0219061319500120}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KrupinskiNS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KumarS19, author = {Ashutosh Kumar and Saharon Shelah}, title = {On possible restrictions of the null ideal}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950008:1--1950008:14}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500089}, doi = {10.1142/S0219061319500089}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KumarS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/NormannS19, author = {Dag Normann and Sam Sanders}, title = {On the mathematical and foundational significance of the uncountable}, journal = {J. Math. Log.}, volume = {19}, number = {1}, pages = {1950001:1--1950001:40}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500016}, doi = {10.1142/S0219061319500016}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/NormannS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zapletal19, author = {Jindrich Zapletal}, title = {Hypergraphs and proper forcing}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950007:1--1950007:64}, year = {2019}, url = {https://doi.org/10.1142/S0219061319500077}, doi = {10.1142/S0219061319500077}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zapletal19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zou19, title = {Pseudofinite difference fields}, journal = {J. Math. Log.}, volume = {19}, number = {2}, pages = {1950011:1--1950011:26}, year = {2019}, note = {Withdrawn.}, url = {https://doi.org/10.1142/S0219061319500119}, doi = {10.1142/S0219061319500119}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zou19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DowneyWY18, author = {Rodney G. Downey and Guohua Wu and Yue Yang}, title = {Degrees containing members of thin {\(\Pi\)}10 classes are dense and co-dense}, journal = {J. Math. Log.}, volume = {18}, number = {1}, pages = {1850001:1--1850001:47}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500010}, doi = {10.1142/S0219061318500010}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DowneyWY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/FarahM18, author = {Ilijas Farah and Menachem Magidor}, title = {Omitting types in logic of metric structures}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850006:1--1850006:58}, year = {2018}, url = {https://doi.org/10.1142/S021906131850006X}, doi = {10.1142/S021906131850006X}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/FarahM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Goldberg18, author = {Gabriel Goldberg}, title = {The linearity of the Mitchell order}, journal = {J. Math. Log.}, volume = {18}, number = {1}, pages = {1850005:1--1850005:17}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500058}, doi = {10.1142/S0219061318500058}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Goldberg18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Harrison-Trainor18, author = {Matthew Harrison{-}Trainor}, title = {There is no classification of the decidably presentable structures}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850010:1--1850010:41}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500101}, doi = {10.1142/S0219061318500101}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Harrison-Trainor18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HoffmannK18, author = {Daniel Max Hoffmann and Piotr Kowalski}, title = {Existentially closed fields with finite group actions}, journal = {J. Math. Log.}, volume = {18}, number = {1}, pages = {1850003:1--1850003:26}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500034}, doi = {10.1142/S0219061318500034}, timestamp = {Mon, 19 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HoffmannK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Johnson18, author = {Will Johnson}, title = {The canonical topology on dp-minimal fields}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850007:1--1850007:23}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500071}, doi = {10.1142/S0219061318500071}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Johnson18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Karagila18, author = {Asaf Karagila}, title = {The Bristol model: An abyss called a Cohen real}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850008:1--1850008:37}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500083}, doi = {10.1142/S0219061318500083}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Karagila18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Krajicek18, author = {Jan Kraj{\'{\i}}cek}, title = {Randomized feasible interpolation and monotone circuits with a local oracle}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850012:1--1850012:27}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500125}, doi = {10.1142/S0219061318500125}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Krajicek18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KuzeljevicR18, author = {Borisa Kuzeljevic and Dilip Raghavan}, title = {A long chain of P-points}, journal = {J. Math. Log.}, volume = {18}, number = {1}, pages = {1850004:1--1850004:38}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500046}, doi = {10.1142/S0219061318500046}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KuzeljevicR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Melnikov18, author = {Alexander G. Melnikov}, title = {Torsion-free abelian groups with optimal Scott families}, journal = {J. Math. Log.}, volume = {18}, number = {1}, pages = {1850002:1--1850002:47}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500022}, doi = {10.1142/S0219061318500022}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Melnikov18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Spinas18, author = {Otmar Spinas}, title = {No Tukey reduction of Lebesgue null to Silver null sets}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850011:1--1850011:32}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500113}, doi = {10.1142/S0219061318500113}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Spinas18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Vasey18, author = {Sebastien Vasey}, title = {Toward a stability theory of tame abstract elementary classes}, journal = {J. Math. Log.}, volume = {18}, number = {2}, pages = {1850009:1--1850009:36}, year = {2018}, url = {https://doi.org/10.1142/S0219061318500095}, doi = {10.1142/S0219061318500095}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Vasey18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AudritoV17, author = {Giorgio Audrito and Matteo Viale}, title = {Absoluteness via resurrection}, journal = {J. Math. Log.}, volume = {17}, number = {2}, pages = {1750005:1--1750005:36}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500052}, doi = {10.1142/S0219061317500052}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AudritoV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Ben-NeriaU17, author = {Omer Ben{-}Neria and Spencer Unger}, title = {Homogeneous changes in cofinalities with applications to {HOD}}, journal = {J. Math. Log.}, volume = {17}, number = {2}, pages = {1750007:1--1750007:24}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500076}, doi = {10.1142/S0219061317500076}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Ben-NeriaU17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BienvenuGM17, author = {Laurent Bienvenu and Noam Greenberg and Benoit Monin}, title = {Continuous higher randomness}, journal = {J. Math. Log.}, volume = {17}, number = {1}, pages = {1750004:1--1750004:53}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500040}, doi = {10.1142/S0219061317500040}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BienvenuGM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DowneyMN17, author = {Rodney G. Downey and Alexander G. Melnikov and Keng Meng Ng}, title = {A Friedberg enumeration of equivalence structures}, journal = {J. Math. Log.}, volume = {17}, number = {2}, pages = {1750008:1--1750008:28}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500088}, doi = {10.1142/S0219061317500088}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/DowneyMN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HayutL17, author = {Yair Hayut and Chris Lambie{-}Hanson}, title = {Simultaneous stationary reflection and square sequences}, journal = {J. Math. Log.}, volume = {17}, number = {2}, pages = {1750010:1--1750010:27}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500106}, doi = {10.1142/S0219061317500106}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HayutL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KaplanSS17, author = {Itay Kaplan and Saharon Shelah and Pierre Simon}, title = {Exact saturation in simple and {NIP} theories}, journal = {J. Math. Log.}, volume = {17}, number = {1}, pages = {1750001:1--1750001:18}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500015}, doi = {10.1142/S0219061317500015}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KaplanSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Marks17, author = {Andrew S. Marks}, title = {Uniformity, universality, and computability theory}, journal = {J. Math. Log.}, volume = {17}, number = {1}, pages = {1750003:1--1750003:50}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500039}, doi = {10.1142/S0219061317500039}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/Marks17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Montalban17, author = {Antonio Montalb{\'{a}}n}, title = {Fra{\"{\i}}ss{\'{e}}'s conjecture in {\(\Pi\)}11-comprehension}, journal = {J. Math. Log.}, volume = {17}, number = {2}, pages = {1750006:1--1750006:12}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500064}, doi = {10.1142/S0219061317500064}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Montalban17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/PalacinP17, author = {Daniel Palac{\'{\i}}n and Anand Pillay}, title = {On definable Galois groups and the strong canonical base property}, journal = {J. Math. Log.}, volume = {17}, number = {1}, pages = {1750002:1--1750002:10}, year = {2017}, url = {https://doi.org/10.1142/S0219061317500027}, doi = {10.1142/S0219061317500027}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/PalacinP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Usuba17, author = {Toshimichi Usuba}, title = {The downward directed grounds hypothesis and very large cardinals}, journal = {J. Math. Log.}, volume = {17}, number = {2}, pages = {1750009:1--1750009:24}, year = {2017}, url = {https://doi.org/10.1142/S021906131750009X}, doi = {10.1142/S021906131750009X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Usuba17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BenoistBP16, author = {Franck Benoist and Elisabeth Bouscaren and Anand Pillay}, title = {On function field Mordell-Lang and Manin-Mumford}, journal = {J. Math. Log.}, volume = {16}, number = {1}, pages = {1650001:1--1650001:24}, year = {2016}, url = {https://doi.org/10.1142/S021906131650001X}, doi = {10.1142/S021906131650001X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BenoistBP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BinnsSS16, author = {Stephen Binns and Richard A. Shore and Stephen G. Simpson}, title = {Mass problems and density}, journal = {J. Math. Log.}, volume = {16}, number = {2}, pages = {1650006:1--1650006:10}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500069}, doi = {10.1142/S0219061316500069}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BinnsSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ChernikovR16, author = {Artem Chernikov and Nicholas Ramsey}, title = {On model-theoretic tree properties}, journal = {J. Math. Log.}, volume = {16}, number = {2}, pages = {1650009:1--1650009:41}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500094}, doi = {10.1142/S0219061316500094}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/ChernikovR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Dobrinen16, author = {Natasha Dobrinen}, title = {Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems}, journal = {J. Math. Log.}, volume = {16}, number = {1}, pages = {1650003:1--1650003:37}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500033}, doi = {10.1142/S0219061316500033}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Dobrinen16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GolshaniS16, author = {Mohammad Golshani and Saharon Shelah}, title = {On cuts in ultraproducts of linear orders {I}}, journal = {J. Math. Log.}, volume = {16}, number = {2}, pages = {1650008:1--1650008:34}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500082}, doi = {10.1142/S0219061316500082}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GolshaniS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HirschfeldtJ16, author = {Denis R. Hirschfeldt and Carl G. Jockusch Jr.}, title = {On notions of computability-theoretic reduction between {\(\Pi\)}21 principles}, journal = {J. Math. Log.}, volume = {16}, number = {1}, pages = {1650002:1--1650002:59}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500021}, doi = {10.1142/S0219061316500021}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HirschfeldtJ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KreuzerY16, author = {Alexander P. Kreuzer and Keita Yokoyama}, title = {On principles between {\(\sum\)}1- and {\(\sum\)}2-induction, and monotone enumerations}, journal = {J. Math. Log.}, volume = {16}, number = {1}, pages = {1650004:1--1650004:21}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500045}, doi = {10.1142/S0219061316500045}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KreuzerY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/SargsyanT16, author = {Grigor Sargsyan and Nam Trang}, title = {Tame failures of the unique branch hypothesis and models of AD{\(\mathbb{R}\)} + {\(\Theta\)} is regular}, journal = {J. Math. Log.}, volume = {16}, number = {2}, pages = {1650007:1--1650007:31}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500070}, doi = {10.1142/S0219061316500070}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/SargsyanT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Teh16, author = {Wen Chean Teh}, title = {Ramsey algebras}, journal = {J. Math. Log.}, volume = {16}, number = {2}, pages = {1650005:1--1650005:16}, year = {2016}, url = {https://doi.org/10.1142/S0219061316500057}, doi = {10.1142/S0219061316500057}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Teh16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/0001FG15, author = {James Cummings and Sy{-}David Friedman and Mohammad Golshani}, title = {Collapsing the cardinals of {HOD}}, journal = {J. Math. Log.}, volume = {15}, number = {2}, pages = {1550007:1--1550007:32}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500075}, doi = {10.1142/S0219061315500075}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/0001FG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BarmpaliasCLS15, author = {George Barmpalias and Mingzhong Cai and Steffen Lempp and Theodore A. Slaman}, title = {On the existence of a strong minimal pair}, journal = {J. Math. Log.}, volume = {15}, number = {1}, pages = {1550003:1--1550003:28}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500038}, doi = {10.1142/S0219061315500038}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BarmpaliasCLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Cramer15, author = {Scott S. Cramer}, title = {Inverse limit reflection and the structure of L(V\({}_{\mbox{{\(\lambda\)}+1}}\))}, journal = {J. Math. Log.}, volume = {15}, number = {1}, pages = {1550001:1--1550001:38}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500014}, doi = {10.1142/S0219061315500014}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Cramer15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GarciaMS15, author = {Dar{\'{\i}}o Garc{\'{\i}}a and Dugald Macpherson and Charles Steinhorn}, title = {Pseudofinite structures and simplicity}, journal = {J. Math. Log.}, volume = {15}, number = {1}, pages = {1550002:1--1550002:41}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500026}, doi = {10.1142/S0219061315500026}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GarciaMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GismatullinK15, author = {Jakub Gismatullin and Krzysztof Krupinski}, title = {On model-theoretic connected components in some group extensions}, journal = {J. Math. Log.}, volume = {15}, number = {2}, pages = {1550009:1--1550009:51}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500099}, doi = {10.1142/S0219061315500099}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GismatullinK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GoodrickKK15, author = {John Goodrick and Byunghan Kim and Alexei S. Kolesnikov}, title = {Type-amalgamation properties and polygroupoids in stable theories}, journal = {J. Math. Log.}, volume = {15}, number = {1}, pages = {1550004:1--1550004:45}, year = {2015}, url = {https://doi.org/10.1142/S021906131550004X}, doi = {10.1142/S021906131550004X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GoodrickKK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KruegerM15, author = {John Krueger and Miguel Angel Mota}, title = {Coherent adequate forcing and preserving {CH}}, journal = {J. Math. Log.}, volume = {15}, number = {2}, pages = {1550005:1--1550005:34}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500051}, doi = {10.1142/S0219061315500051}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KruegerM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Simon15, author = {Pierre Simon}, title = {Invariant types in {NIP} theories}, journal = {J. Math. Log.}, volume = {15}, number = {2}, pages = {1550006:1--1550006:26}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500063}, doi = {10.1142/S0219061315500063}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Simon15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Wagner15, author = {Frank O. Wagner}, title = {Plus ultra}, journal = {J. Math. Log.}, volume = {15}, number = {2}, pages = {1550008:1--1550008:23}, year = {2015}, url = {https://doi.org/10.1142/S0219061315500087}, doi = {10.1142/S0219061315500087}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Wagner15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BergM14, author = {Benno van den Berg and Ieke Moerdijk}, title = {The axiom of multiple choice and models for constructive set theory}, journal = {J. Math. Log.}, volume = {14}, number = {1}, pages = {1450005}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500056}, doi = {10.1142/S0219061314500056}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BergM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Bienvenu0MN14, author = {Laurent Bienvenu and Rupert H{\"{o}}lzl and Joseph S. Miller and Andr{\'{e}} Nies}, title = {Denjoy, Demuth and density}, journal = {J. Math. Log.}, volume = {14}, number = {1}, pages = {1450004}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500044}, doi = {10.1142/S0219061314500044}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Bienvenu0MN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Boney14, author = {Will Boney}, title = {Tameness and extending frames}, journal = {J. Math. Log.}, volume = {14}, number = {2}, pages = {1450007}, year = {2014}, url = {https://doi.org/10.1142/S021906131450007X}, doi = {10.1142/S021906131450007X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Boney14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/EleftheriouPR14, author = {Pantelis E. Eleftheriou and Ya'acov Peterzil and Janak Ramakrishnan}, title = {Interpretable groups are definable}, journal = {J. Math. Log.}, volume = {14}, number = {1}, pages = {1450002}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500020}, doi = {10.1142/S0219061314500020}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/EleftheriouPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KaplanM14, author = {Itay Kaplan and Benjamin D. Miller}, title = {An embedding theorem of {\unicode{54588}}\({}_{\mbox{0}}\) with model theoretic applications}, journal = {J. Math. Log.}, volume = {14}, number = {2}, pages = {1450010}, year = {2014}, url = {https://doi.org/10.1142/S021906131450010X}, doi = {10.1142/S021906131450010X}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KaplanM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KaplanU14, author = {Itay Kaplan and Alexander Usvyatsov}, title = {Strict independence}, journal = {J. Math. Log.}, volume = {14}, number = {2}, pages = {1450008}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500081}, doi = {10.1142/S0219061314500081}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KaplanU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LemppMNTW14, author = {Steffen Lempp and Joseph S. Miller and Keng Meng Ng and Daniel D. Turetsky and Rebecca Weber}, title = {Lowness for effective Hausdorff dimension}, journal = {J. Math. Log.}, volume = {14}, number = {2}, pages = {1450011}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500111}, doi = {10.1142/S0219061314500111}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/LemppMNTW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MoosaS14, author = {Rahim Moosa and Thomas Scanlon}, title = {Model theory of fields with free operators in characteristic zero}, journal = {J. Math. Log.}, volume = {14}, number = {2}, pages = {1450009}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500093}, doi = {10.1142/S0219061314500093}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MoosaS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Sargsyan14, author = {Grigor Sargsyan}, title = {Nontame mouse from the failure of square at a singular strong limit cardinal}, journal = {J. Math. Log.}, volume = {14}, number = {1}, pages = {1450003}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500032}, doi = {10.1142/S0219061314500032}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Sargsyan14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Towsner14, author = {Henry Towsner}, title = {Ultrafilters in reverse mathematics}, journal = {J. Math. Log.}, volume = {14}, number = {1}, pages = {1450001}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500019}, doi = {10.1142/S0219061314500019}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Towsner14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Trang14, author = {Nam Trang}, title = {Determinacy in L({\(\mathbb{R}\)}, {\(\mu\)})}, journal = {J. Math. Log.}, volume = {14}, number = {1}, pages = {1450006}, year = {2014}, url = {https://doi.org/10.1142/S0219061314500068}, doi = {10.1142/S0219061314500068}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Trang14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Arai13, author = {Toshiyasu Arai}, title = {Proof Theory of Weak compactness}, journal = {J. Math. Log.}, volume = {13}, number = {1}, pages = {1350003}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500037}, doi = {10.1142/S0219061313500037}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Arai13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Conversano13, author = {Annalisa Conversano}, title = {Maximal Compact Subgroups in the O-Minimal Setting}, journal = {J. Math. Log.}, volume = {13}, number = {1}, pages = {1350004}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500049}, doi = {10.1142/S0219061313500049}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Conversano13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Doebler13, author = {Philipp Doebler}, title = {Rado's Conjecture Implies that All stationary Set Preserving Forcings are Semiproper}, journal = {J. Math. Log.}, volume = {13}, number = {1}, pages = {1350001}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500013}, doi = {10.1142/S0219061313500013}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Doebler13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DowneyJS13, author = {Rodney G. Downey and Carl G. Jockusch Jr. and Paul E. Schupp}, title = {Asymptotic density and computably Enumerable Sets}, journal = {J. Math. Log.}, volume = {13}, number = {2}, pages = {1350005}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500050}, doi = {10.1142/S0219061313500050}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DowneyJS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Gitik13, author = {Moti Gitik}, title = {A Model with a Precipitous Ideal, but no Normal Precipitous Ideal}, journal = {J. Math. Log.}, volume = {13}, number = {1}, pages = {1250008}, year = {2013}, url = {https://doi.org/10.1142/S0219061312500080}, doi = {10.1142/S0219061312500080}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Gitik13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GreenbergMS13, author = {Noam Greenberg and Antonio Montalb{\'{a}}n and Theodore A. Slaman}, title = {Relative to any non-Hyperarithmetic Set}, journal = {J. Math. Log.}, volume = {13}, number = {1}, pages = {1250007}, year = {2013}, url = {https://doi.org/10.1142/S0219061312500079}, doi = {10.1142/S0219061312500079}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GreenbergMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Hamkins13, author = {Joel David Hamkins}, title = {Every Countable Model of Set Theory embeds into its Own Constructible Universe}, journal = {J. Math. Log.}, volume = {13}, number = {2}, pages = {1350006}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500062}, doi = {10.1142/S0219061313500062}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Hamkins13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KrupinskiPS13, author = {Krzysztof Krupinski and Anand Pillay and Slawomir Solecki}, title = {Borel Equivalence Relations and Lascar Strong Types}, journal = {J. Math. Log.}, volume = {13}, number = {2}, pages = {1350008}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500086}, doi = {10.1142/S0219061313500086}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KrupinskiPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LermanST13, author = {Manuel Lerman and Reed Solomon and Henry Towsner}, title = {Separating Principles below Ramsey's Theorem for Pairs}, journal = {J. Math. Log.}, volume = {13}, number = {2}, pages = {1350007}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500074}, doi = {10.1142/S0219061313500074}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/LermanST13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zapletal13, author = {Jindrich Zapletal}, title = {Separation Problems and forcing}, journal = {J. Math. Log.}, volume = {13}, number = {1}, pages = {1350002}, year = {2013}, url = {https://doi.org/10.1142/S0219061313500025}, doi = {10.1142/S0219061313500025}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zapletal13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/0001S12, author = {John T. Baldwin and Saharon Shelah}, title = {The stability spectrum for Classes of Atomic Models}, journal = {J. Math. Log.}, volume = {12}, number = {1}, pages = {1250001}, year = {2012}, url = {https://doi.org/10.1142/S0219061312500018}, doi = {10.1142/S0219061312500018}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/0001S12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CaiSS12, author = {Mingzhong Cai and Richard A. Shore and Theodore A. Slaman}, title = {The n-R.E. Degrees: Undecidability and {\(\sigma\)}\({}_{\mbox{1}}\) Substructures}, journal = {J. Math. Log.}, volume = {12}, number = {1}, pages = {1250005}, year = {2012}, url = {https://doi.org/10.1142/S0219061312500055}, doi = {10.1142/S0219061312500055}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CaiSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Gitik12, author = {Moti Gitik}, title = {Short Extenders Forcings {I}}, journal = {J. Math. Log.}, volume = {12}, number = {2}, pages = {1250009}, year = {2012}, url = {https://doi.org/10.1142/S0219061312500092}, doi = {10.1142/S0219061312500092}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Gitik12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Hjorth12, author = {Greg Hjorth}, title = {Treeable Equivalence Relations}, journal = {J. Math. Log.}, volume = {12}, number = {1}, pages = {1250003}, year = {2012}, url = {https://doi.org/10.1142/S0219061312500031}, doi = {10.1142/S0219061312500031}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Hjorth12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Kreuzer12, author = {Alexander P. Kreuzer}, title = {Non-Principal Ultrafilters, Program Extraction and Higher-order Reverse Mathematics}, journal = {J. Math. Log.}, volume = {12}, number = {1}, pages = {1250002}, year = {2012}, url = {https://doi.org/10.1142/S021906131250002X}, doi = {10.1142/S021906131250002X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Kreuzer12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Miller12, author = {Benjamin D. Miller}, title = {Incomparable Treeable Equivalence Relations}, journal = {J. Math. Log.}, volume = {12}, number = {1}, pages = {1250004}, year = {2012}, url = {https://doi.org/10.1142/S0219061312500043}, doi = {10.1142/S0219061312500043}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Miller12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DzamonjaV11, author = {Mirna Dzamonja and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Chain Models, Trees of singular Cardinality and Dynamic EF-Games}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311001006}, doi = {10.1142/S0219061311001006}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DzamonjaV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Kjos-Hanssen11, author = {Bj{\o}rn Kjos{-}Hanssen}, title = {A Strong Law of computationally Weak Subsets}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311000980}, doi = {10.1142/S0219061311000980}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Kjos-Hanssen11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Krajicek11, author = {Jan Kraj{\'{\i}}cek}, title = {On the Proof Complexity of the Nisan-Wigderson Generator based on a Hard {NP} {\(\cap\)} coNP function}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311000979}, doi = {10.1142/S0219061311000979}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Krajicek11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KruegerS11, author = {John Krueger and Ernest Schimmerling}, title = {An equiconsistency Result on Partial squares}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311000992}, doi = {10.1142/S0219061311000992}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KruegerS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MagidorV11, author = {Menachem Magidor and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On l{\"{o}}Wenheim-Skolem-Tarski numbers for Extensions of First order Logic}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311001018}, doi = {10.1142/S0219061311001018}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MagidorV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Woodin11, author = {W. Hugh Woodin}, title = {Suitable Extender Models {II:} beyond {\(\omega\)}-Huge}, journal = {J. Math. Log.}, volume = {11}, number = {2}, year = {2011}, url = {https://doi.org/10.1142/S021906131100102X}, doi = {10.1142/S021906131100102X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Woodin11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Cai10, author = {Mingzhong Cai}, title = {A 2-Minimal non-Gl\({}_{\mbox{2}}\) degree}, journal = {J. Math. Log.}, volume = {10}, number = {1-2}, year = {2010}, url = {https://doi.org/10.1142/S0219061310000948}, doi = {10.1142/S0219061310000948}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Cai10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DowneyLW10, author = {Rod Downey and Steffen Lempp and Guohua Wu}, title = {On the Complexity of the Successivity Relation in Computable linear Orderings}, journal = {J. Math. Log.}, volume = {10}, number = {1-2}, year = {2010}, url = {https://doi.org/10.1142/S0219061310000924}, doi = {10.1142/S0219061310000924}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DowneyLW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/FarahS10, author = {Ilijas Farah and Saharon Shelah}, title = {A Dichotomy for the number of Ultrapowers}, journal = {J. Math. Log.}, volume = {10}, number = {1-2}, year = {2010}, url = {https://doi.org/10.1142/S0219061310000936}, doi = {10.1142/S0219061310000936}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/FarahS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KnightM10, author = {Julia F. Knight and Jessica Millar}, title = {Computable Structures of Rank}, journal = {J. Math. Log.}, volume = {10}, number = {1-2}, year = {2010}, url = {https://doi.org/10.1142/S0219061310000912}, doi = {10.1142/S0219061310000912}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KnightM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Woodin10, author = {W. Hugh Woodin}, title = {Suitable Extender Models {I}}, journal = {J. Math. Log.}, volume = {10}, number = {1-2}, year = {2010}, url = {https://doi.org/10.1142/S021906131000095X}, doi = {10.1142/S021906131000095X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Woodin10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Adler09, author = {Hans Adler}, title = {A Geometric Introduction to Forking and Thorn-Forking}, journal = {J. Math. Log.}, volume = {9}, number = {1}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000811}, doi = {10.1142/S0219061309000811}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Adler09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Adler09a, author = {Hans Adler}, title = {Thorn-Forking as Local Forking}, journal = {J. Math. Log.}, volume = {9}, number = {1}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000823}, doi = {10.1142/S0219061309000823}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Adler09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Baudisch09, author = {Andreas Baudisch}, title = {The additive collapse}, journal = {J. Math. Log.}, volume = {9}, number = {2}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000884}, doi = {10.1142/S0219061309000884}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Baudisch09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BeckmannB09, author = {Arnold Beckmann and Samuel R. Buss}, title = {Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic}, journal = {J. Math. Log.}, volume = {9}, number = {1}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000847}, doi = {10.1142/S0219061309000847}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BeckmannB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BerarducciF09, author = {Alessandro Berarducci and Antongiulio Fornasiero}, title = {O-Minimal Cohomology: Finiteness and invariance Results}, journal = {J. Math. Log.}, volume = {9}, number = {2}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000859}, doi = {10.1142/S0219061309000859}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BerarducciF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BurdgesC09, author = {Jeffrey Burdges and Gregory L. Cherlin}, title = {Semisimple torsion in Groups of finite Morley Rank}, journal = {J. Math. Log.}, volume = {9}, number = {2}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000860}, doi = {10.1142/S0219061309000860}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BurdgesC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HerzogR09, author = {Ivo Herzog and Philipp Rothmaler}, title = {When Cotorsion Modules are Pure injective}, journal = {J. Math. Log.}, volume = {9}, number = {1}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000835}, doi = {10.1142/S0219061309000835}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HerzogR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Larson09, author = {Paul B. Larson}, title = {The filter Dichotomy and Medial Limits}, journal = {J. Math. Log.}, volume = {9}, number = {2}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000872}, doi = {10.1142/S0219061309000872}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Larson09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Lecomte09, author = {Dominique Lecomte}, title = {How can we Recognize Potentially Subsets of the plane?}, journal = {J. Math. Log.}, volume = {9}, number = {1}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000793}, doi = {10.1142/S0219061309000793}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Lecomte09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Neeman09, author = {Itay Neeman}, title = {Aronszajn Trees and Failure of the singular cardinal Hypothesis}, journal = {J. Math. Log.}, volume = {9}, number = {1}, year = {2009}, url = {https://doi.org/10.1142/S021906130900080X}, doi = {10.1142/S021906130900080X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Neeman09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/OnshuusS09, author = {Alf Onshuus and Charles Steinhorn}, title = {On linearly Ordered Structures of finite Rank}, journal = {J. Math. Log.}, volume = {9}, number = {2}, year = {2009}, url = {https://doi.org/10.1142/S0219061309000896}, doi = {10.1142/S0219061309000896}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/OnshuusS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BurdgesC08, author = {Jeffrey Burdges and Gregory L. Cherlin}, title = {A Generation Theorem for Groups of finite Morley Rank}, journal = {J. Math. Log.}, volume = {8}, number = {2}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000750}, doi = {10.1142/S0219061308000750}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BurdgesC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Frecon08, author = {Olivier Fr{\'{e}}con}, title = {Conjugacy of Carter Subgroups in Groups of finite Morley Rank}, journal = {J. Math. Log.}, volume = {8}, number = {1}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000713}, doi = {10.1142/S0219061308000713}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Frecon08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HaskellY08, author = {Deirdre Haskell and Yoav Yaffe}, title = {Ganzstellens{\"{a}}Tze in Theories of Valued Fields}, journal = {J. Math. Log.}, volume = {8}, number = {1}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000695}, doi = {10.1142/S0219061308000695}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HaskellY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Krueger08, author = {John Krueger}, title = {Internal Approachability and Reflection}, journal = {J. Math. Log.}, volume = {8}, number = {1}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000701}, doi = {10.1142/S0219061308000701}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Krueger08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LecomteM08, author = {Dominique Lecomte and Benjamin D. Miller}, title = {Basis theorems for non-Potentially closed Sets and graphs of uncountable Borel chromatic number}, journal = {J. Math. Log.}, volume = {8}, number = {2}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000749}, doi = {10.1142/S0219061308000749}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/LecomteM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LindstromS08, author = {Per Lindstr{\"{o}}m and V. Yu. Shavrukov}, title = {The {\(\forall\)}{\(\exists\)} Theory of Peano {\(\sigma\)}\({}_{\mbox{1}}\) Sentences}, journal = {J. Math. Log.}, volume = {8}, number = {2}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000774}, doi = {10.1142/S0219061308000774}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/LindstromS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Neeman08, author = {Itay Neeman}, title = {The strength of Jullien's indecomposability Theorem}, journal = {J. Math. Log.}, volume = {8}, number = {1}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000725}, doi = {10.1142/S0219061308000725}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Neeman08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Yaacov08, author = {Ita{\"{\i}} Ben Yaacov}, title = {Continuous First order Logic for Unbounded Metric Structures}, journal = {J. Math. Log.}, volume = {8}, number = {2}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000737}, doi = {10.1142/S0219061308000737}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Yaacov08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Yaacov08a, author = {Ita{\"{\i}} Ben Yaacov}, title = {On perturbations of continuous Structures}, journal = {J. Math. Log.}, volume = {8}, number = {2}, year = {2008}, url = {https://doi.org/10.1142/S0219061308000762}, doi = {10.1142/S0219061308000762}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Yaacov08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/000107, author = {Simon Thomas}, title = {Property {\(\tau\)} and Countable Borel Equivalence Relations}, journal = {J. Math. Log.}, volume = {7}, number = {1}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000603}, doi = {10.1142/S0219061307000603}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/000107.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/AndrettaHN07, author = {Alessandro Andretta and Greg Hjorth and Itay Neeman}, title = {Effective Cardinals of Boldface pointclasses}, journal = {J. Math. Log.}, volume = {7}, number = {1}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000615}, doi = {10.1142/S0219061307000615}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/AndrettaHN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CluckersL07, author = {Raf Cluckers and Fran{\c{c}}ois Loeser}, title = {B-Minimality}, journal = {J. Math. Log.}, volume = {7}, number = {2}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000664}, doi = {10.1142/S0219061307000664}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jml/CluckersL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/ColeS07, author = {Joshua A. Cole and Stephen G. Simpson}, title = {Mass Problems and Hyperarithmeticity}, journal = {J. Math. Log.}, volume = {7}, number = {2}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000652}, doi = {10.1142/S0219061307000652}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/ColeS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DowneyGW07, author = {Rod Downey and Noam Greenberg and Rebecca Weber}, title = {Totally {\(\omega\)}-computably Enumerable Degrees and Bounding Critical Triples}, journal = {J. Math. Log.}, volume = {7}, number = {2}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000640}, doi = {10.1142/S0219061307000640}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DowneyGW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Neeman07, author = {Itay Neeman}, title = {Games of Length {\(\omega\)}\({}_{\mbox{1}}\)}, journal = {J. Math. Log.}, volume = {7}, number = {1}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000627}, doi = {10.1142/S0219061307000627}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Neeman07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Polkowska07, author = {O. P. Nicholas Marie Polkowska}, title = {On Simplicity of Bounded Pseudoalgebraically closed Structures}, journal = {J. Math. Log.}, volume = {7}, number = {2}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000639}, doi = {10.1142/S0219061307000639}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Polkowska07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Shore07, author = {Richard A. Shore}, title = {Direct and Local Definitions of the Turing jump}, journal = {J. Math. Log.}, volume = {7}, number = {2}, year = {2007}, url = {https://doi.org/10.1142/S0219061307000676}, doi = {10.1142/S0219061307000676}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Shore07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BaudischM006, author = {Andreas Baudisch and Amador Martin{-}Pizarro and Martin Ziegler}, title = {Fusion over a Vector Space}, journal = {J. Math. Log.}, volume = {6}, number = {2}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000542}, doi = {10.1142/S0219061306000542}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BaudischM006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/EdmundoJP06, author = {M{\'{a}}rio J. Edmundo and Gareth O. Jones and Nicholas J. Peatfield}, title = {Sheaf Cohomology in O-Minimal Structures}, journal = {J. Math. Log.}, volume = {6}, number = {2}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000566}, doi = {10.1142/S0219061306000566}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/EdmundoJP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GreenbergSS06, author = {Noam Greenberg and Richard A. Shore and Theodore A. Slaman}, title = {The Theory of the Metarecursively Enumerable Degrees}, journal = {J. Math. Log.}, volume = {6}, number = {1}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000505}, doi = {10.1142/S0219061306000505}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GreenbergSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GrossbergV06, author = {Rami P. Grossberg and Monica M. VanDieren}, title = {Galois-stability for Tame Abstract Elementary Classes}, journal = {J. Math. Log.}, volume = {6}, number = {1}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000487}, doi = {10.1142/S0219061306000487}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GrossbergV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GrossbergV06a, author = {Rami P. Grossberg and Monica M. VanDieren}, title = {Categoricity from One Successor cardinal in Tame Abstract Elementary Classes}, journal = {J. Math. Log.}, volume = {6}, number = {2}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000554}, doi = {10.1142/S0219061306000554}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GrossbergV06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Hjorth006, author = {Greg Hjorth and Simon Thomas}, title = {The Classification Problem for P-Local torsion-Free Abelian Groups of Rank two}, journal = {J. Math. Log.}, volume = {6}, number = {2}, year = {2006}, url = {https://doi.org/10.1142/S021906130600058X}, doi = {10.1142/S021906130600058X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Hjorth006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Montalban06, author = {Antonio Montalb{\'{a}}n}, title = {Indecomposable linear Orderings and Hyperarithmetic Analysis}, journal = {J. Math. Log.}, volume = {6}, number = {1}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000517}, doi = {10.1142/S0219061306000517}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Montalban06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Mummert06, author = {Carl Mummert}, title = {Reverse Mathematics of {MF} Spaces}, journal = {J. Math. Log.}, volume = {6}, number = {2}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000578}, doi = {10.1142/S0219061306000578}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Mummert06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/PiroKM06, author = {Tristram de Piro and Byunghan Kim and Jessica Millar}, title = {Constructing the hyperdefinable Group from the Group Configuration}, journal = {J. Math. Log.}, volume = {6}, number = {2}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000530}, doi = {10.1142/S0219061306000530}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/PiroKM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Wehrung06, author = {Friedrich Wehrung}, title = {Von Neumann Coordinatization is not First-order}, journal = {J. Math. Log.}, volume = {6}, number = {1}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000499}, doi = {10.1142/S0219061306000499}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Wehrung06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Yaacov06, author = {Ita{\"{\i}} Ben Yaacov}, title = {Simple Almost hyperdefinable Groups}, journal = {J. Math. Log.}, volume = {6}, number = {1}, year = {2006}, url = {https://doi.org/10.1142/S0219061306000529}, doi = {10.1142/S0219061306000529}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Yaacov06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/0001K05, author = {Matthew Foreman and P{\'{e}}ter Komj{\'{a}}th}, title = {The Club Guessing Ideal: Commentary on a Theorem of Gitik and Shelah}, journal = {J. Math. Log.}, volume = {5}, number = {1}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000419}, doi = {10.1142/S0219061305000419}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/0001K05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BlairBH05, author = {David Blair and Andreas Blass and Paul E. Howard}, title = {Divisibility of Dedekind finite Sets}, journal = {J. Math. Log.}, volume = {5}, number = {1}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000389}, doi = {10.1142/S0219061305000389}, timestamp = {Thu, 28 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BlairBH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DowneyHMN05, author = {Rod Downey and Denis R. Hirschfeldt and Joseph S. Miller and Andr{\'{e}} Nies}, title = {Relativizing Chaitin's Halting Probability}, journal = {J. Math. Log.}, volume = {5}, number = {2}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000468}, doi = {10.1142/S0219061305000468}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DowneyHMN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Friedman05, author = {Sy D. Friedman}, title = {Genericity and Large Cardinals}, journal = {J. Math. Log.}, volume = {5}, number = {2}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000420}, doi = {10.1142/S0219061305000420}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Friedman05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Gitik05, author = {Moti Gitik}, title = {No Bound for the First fixed Point}, journal = {J. Math. Log.}, volume = {5}, number = {2}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000444}, doi = {10.1142/S0219061305000444}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Gitik05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/HyttinenLS05, author = {Tapani Hyttinen and Olivier Lessmann and Saharon Shelah}, title = {Interpreting Groups and Fields in some Nonelementary Classes}, journal = {J. Math. Log.}, volume = {5}, number = {1}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000390}, doi = {10.1142/S0219061305000390}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/HyttinenLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LemppSS05, author = {Steffen Lempp and Theodore A. Slaman and Andrea Sorbi}, title = {On Extensions of Embeddings into the Enumeration Degrees of the -Sets}, journal = {J. Math. Log.}, volume = {5}, number = {2}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000432}, doi = {10.1142/S0219061305000432}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/LemppSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Moore05, author = {Justin Tatch Moore}, title = {Set Mapping Reflection}, journal = {J. Math. Log.}, volume = {5}, number = {1}, year = {2005}, url = {https://doi.org/10.1142/S0219061305000407}, doi = {10.1142/S0219061305000407}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Moore05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Ben-YaacovTW04, author = {Itay Ben{-}Yaacov and Ivan Tomasic and Frank O. Wagner}, title = {Constructing an Almost hyperdefinable Group}, journal = {J. Math. Log.}, volume = {4}, number = {2}, year = {2004}, url = {https://doi.org/10.1142/S021906130400036X}, doi = {10.1142/S021906130400036X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Ben-YaacovTW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/EdmundoO04, author = {M{\'{a}}rio J. Edmundo and Margarita Otero}, title = {Definably Compact Abelian Groups}, journal = {J. Math. Log.}, volume = {4}, number = {2}, year = {2004}, url = {https://doi.org/10.1142/S0219061304000358}, doi = {10.1142/S0219061304000358}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/EdmundoO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/GeschkeGK04, author = {Stefan Geschke and Martin Goldstern and Menachem Kojman}, title = {Continuous Ramsey Theory on Polish Spaces and Covering the plane by Functions}, journal = {J. Math. Log.}, volume = {4}, number = {2}, year = {2004}, url = {https://doi.org/10.1142/S0219061304000334}, doi = {10.1142/S0219061304000334}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/GeschkeGK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Pillay04, author = {Anand Pillay}, title = {Type-Definability, Compact Lie Groups, and O-Minimality}, journal = {J. Math. Log.}, volume = {4}, number = {2}, year = {2004}, url = {https://doi.org/10.1142/S0219061304000346}, doi = {10.1142/S0219061304000346}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Pillay04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/SchimmerlingZ04, author = {Ernest Schimmerling and Martin Zeman}, title = {Characterization of {\(\square\)}\({}_{\mbox{{\(\kappa\)}}}\) in Core Models}, journal = {J. Math. Log.}, volume = {4}, number = {1}, year = {2004}, url = {https://doi.org/10.1142/S0219061304000310}, doi = {10.1142/S0219061304000310}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/SchimmerlingZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zeman04, author = {Martin Zeman}, title = {Dodd parameters and {\(\lambda\)}-Indexing of Extenders}, journal = {J. Math. Log.}, volume = {4}, number = {1}, year = {2004}, url = {https://doi.org/10.1142/S0219061304000322}, doi = {10.1142/S0219061304000322}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zeman04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Ben-Yaacov03, author = {Itay Ben{-}Yaacov}, title = {Positive Model Theory and Compact Abstract Theories}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000212}, doi = {10.1142/S0219061303000212}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Ben-Yaacov03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Ben-Yaacov03a, author = {Itay Ben{-}Yaacov}, title = {Simplicity in Compact Abstract Theories}, journal = {J. Math. Log.}, volume = {3}, number = {2}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000297}, doi = {10.1142/S0219061303000297}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Ben-Yaacov03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Friedman03, author = {Harvey M. Friedman}, title = {Primitive Independence Results}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000248}, doi = {10.1142/S0219061303000248}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Friedman03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Hyttinen03, author = {Tapani Hyttinen}, title = {Interpreting Groups inside Modular strongly Minimal homogeneous Models}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000200}, doi = {10.1142/S0219061303000200}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Hyttinen03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Kalimullin03, author = {Iskander Sh. Kalimullin}, title = {Definability of the jump operator in the Enumeration Degrees}, journal = {J. Math. Log.}, volume = {3}, number = {2}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000285}, doi = {10.1142/S0219061303000285}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Kalimullin03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LarsonS03, author = {Paul B. Larson and Saharon Shelah}, title = {Bounding by Canonical Functions, with {CH}}, journal = {J. Math. Log.}, volume = {3}, number = {2}, year = {2003}, url = {https://doi.org/10.1142/S021906130300025X}, doi = {10.1142/S021906130300025X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/LarsonS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Moore03, author = {Justin Tatch Moore}, title = {Weak Diamond and Open colorings}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000194}, doi = {10.1142/S0219061303000194}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Moore03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Nies03, author = {Andr{\'{e}} Nies}, title = {Parameter Definability in the Recursively Enumerable Degrees}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000236}, doi = {10.1142/S0219061303000236}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Nies03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/PeterzilS03, author = {Ya'acov Peterzil and Sergei Starchenko}, title = {Expansions of Algebraically closed Fields {II:} Functions of several Variables}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000224}, doi = {10.1142/S0219061303000224}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/PeterzilS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/TomasicW03, author = {Ivan Tomasic and Frank O. Wagner}, title = {Applications of the Group Configuration Theorem in Simple Theories}, journal = {J. Math. Log.}, volume = {3}, number = {2}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000261}, doi = {10.1142/S0219061303000261}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/TomasicW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zapletal03, author = {Jindrich Zapletal}, title = {Isolating cardinal Invariants}, journal = {J. Math. Log.}, volume = {3}, number = {1}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000066}, doi = {10.1142/S0219061303000066}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zapletal03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Zilber03, author = {Boris Zilber}, title = {Raising to powers in Algebraically closed Fields}, journal = {J. Math. Log.}, volume = {3}, number = {2}, year = {2003}, url = {https://doi.org/10.1142/S0219061303000273}, doi = {10.1142/S0219061303000273}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Zilber03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Avigad02, author = {Jeremy Avigad}, title = {An Ordinal Analysis of Admissible Set Theory using Recursion on Ordinal Notations}, journal = {J. Math. Log.}, volume = {2}, number = {1}, year = {2002}, url = {https://doi.org/10.1142/S0219061302000126}, doi = {10.1142/S0219061302000126}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Avigad02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CholakH02, author = {Peter A. Cholak and Leo Harrington}, title = {On the Definability of the double jump in the computably Enumerable Sets}, journal = {J. Math. Log.}, volume = {2}, number = {2}, year = {2002}, url = {https://doi.org/10.1142/S0219061302000151}, doi = {10.1142/S0219061302000151}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CholakH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Hjorth02, author = {Greg Hjorth}, title = {Knight's Model, its automorphism Group, and Characterizing the uncountable Cardinals}, journal = {J. Math. Log.}, volume = {2}, number = {1}, year = {2002}, url = {https://doi.org/10.1142/S0219061302000084}, doi = {10.1142/S0219061302000084}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Hjorth02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/JacksonKL02, author = {Steve Jackson and Alexander S. Kechris and Alain Louveau}, title = {Countable Borel Equivalence Relations}, journal = {J. Math. Log.}, volume = {2}, number = {1}, year = {2002}, url = {https://doi.org/10.1142/S0219061302000138}, doi = {10.1142/S0219061302000138}, timestamp = {Mon, 26 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/JacksonKL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/LemppPS02, author = {Steffen Lempp and Mikhail G. Peretyat'kin and Reed Solomon}, title = {The Lindenbaum Algebra of the Theory of the class of All finite Models}, journal = {J. Math. Log.}, volume = {2}, number = {2}, year = {2002}, url = {https://doi.org/10.1142/S0219061302000163}, doi = {10.1142/S0219061302000163}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/LemppPS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MatsubaraS02, author = {Yo Matsubara and Saharon Shelah}, title = {Nowhere Precipitousness of the non-stationary Ideal over}, journal = {J. Math. Log.}, volume = {2}, number = {1}, year = {2002}, url = {https://doi.org/10.1142/S021906130200014X}, doi = {10.1142/S021906130200014X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MatsubaraS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Neeman02, author = {Itay Neeman}, title = {Optimal Proofs of Determinacy {II}}, journal = {J. Math. Log.}, volume = {2}, number = {2}, year = {2002}, url = {https://doi.org/10.1142/S0219061302000175}, doi = {10.1142/S0219061302000175}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Neeman02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/00010M01, author = {James Cummings and Matthew Foreman and Menachem Magidor}, title = {Squares, scales and stationary Reflection}, journal = {J. Math. Log.}, volume = {1}, number = {1}, year = {2001}, url = {https://doi.org/10.1142/S021906130100003X}, doi = {10.1142/S021906130100003X}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/00010M01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/BartoszynskiS01, author = {Tomek Bartoszynski and Saharon Shelah}, title = {Strongly meager Sets do not Form an Ideal}, journal = {J. Math. Log.}, volume = {1}, number = {1}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000028}, doi = {10.1142/S0219061301000028}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/BartoszynskiS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/CasanovasLP001, author = {Enrique Casanovas and Daniel Lascar and Anand Pillay and Martin Ziegler}, title = {Galois Groups of First order Theories}, journal = {J. Math. Log.}, volume = {1}, number = {2}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000119}, doi = {10.1142/S0219061301000119}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/CasanovasLP001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Dougherty01, author = {Randall Dougherty}, title = {Solutions to Congruences using Sets with the Property of Baire}, journal = {J. Math. Log.}, volume = {1}, number = {2}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000077}, doi = {10.1142/S0219061301000077}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Dougherty01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Dougherty01a, author = {Randall Dougherty}, title = {Open Sets Satisfying Systems of Congruences}, journal = {J. Math. Log.}, volume = {1}, number = {2}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000107}, doi = {10.1142/S0219061301000107}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Dougherty01a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/JunkerL01, author = {Markus Junker and Daniel Lascar}, title = {The indiscernible Topology: a mock Zariski Topology}, journal = {J. Math. Log.}, volume = {1}, number = {1}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000041}, doi = {10.1142/S0219061301000041}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/JunkerL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Spinas01, author = {Otmar Spinas}, title = {Canonical Behavior of Borel Functions on superperfect Rectangles}, journal = {J. Math. Log.}, volume = {1}, number = {2}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000090}, doi = {10.1142/S0219061301000090}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Spinas01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/Wagner01, author = {Frank O. Wagner}, title = {Hyperdefinable Groups in Simple Theories}, journal = {J. Math. Log.}, volume = {1}, number = {1}, year = {2001}, url = {https://doi.org/10.1142/S0219061301000053}, doi = {10.1142/S0219061301000053}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/Wagner01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.