Search dblp for Publications

export results for "toc:db/journals/jml/jml20.bht:"

 download as .bib file

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