Search dblp for Publications

export results for "stream:streams/journals/jml:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics