Search dblp for Publications

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

 download as .bib file

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.