Search dblp for Publications

export results for "toc:db/journals/mlq/mlq64.bht:"

 download as .bib file

@article{DBLP:journals/mlq/AksornthongV18,
  author       = {Navin Aksornthong and
                  Pimpen Vejjajiva},
  title        = {Relations between cardinalities of the finite sequences and the finite
                  subsets of a set},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {529--534},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201800029},
  doi          = {10.1002/MALQ.201800029},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/AksornthongV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BadiaT18,
  author       = {Guillermo Badia and
                  Andrew Tedder},
  title        = {On elimination of quantifiers in some non-classical mathematical theories},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {140--154},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600078},
  doi          = {10.1002/MALQ.201600078},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/BadiaT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bickford18,
  author       = {Mark Bickford},
  title        = {Connectedness of the continuum in intuitionistic mathematics},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {387--394},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700057},
  doi          = {10.1002/MALQ.201700057},
  timestamp    = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Bickford18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Brian18,
  author       = {Will Brian},
  title        = {Which subsets of an infinite random graph look random?},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {478--486},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700008},
  doi          = {10.1002/MALQ.201700008},
  timestamp    = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Brian18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BrouetteP18,
  author       = {Quentin Brouette and
                  Fran{\c{c}}oise Point},
  title        = {On differential Galois groups of strongly normal extensions},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {155--169},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600098},
  doi          = {10.1002/MALQ.201600098},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/BrouetteP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BussR18,
  author       = {Sam Buss and
                  Ramyaa Ramyaa},
  title        = {Short refutations for an equivalence-chain principle for constant-depth
                  formulas},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {505--513},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700034},
  doi          = {10.1002/MALQ.201700034},
  timestamp    = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/BussR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cox18,
  author       = {Sean D. Cox},
  title        = {On the universality of the nonstationary ideal},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {103--117},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700023},
  doi          = {10.1002/MALQ.201700023},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Cox18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DienerH18,
  author       = {Hannes Diener and
                  Matthew Hendtlass},
  title        = {Bishop's Lemma},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {49--54},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600041},
  doi          = {10.1002/MALQ.201600041},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/DienerH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dimonte18,
  author       = {Vincenzo Dimonte},
  title        = {Generic at},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {118--132},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700058},
  doi          = {10.1002/MALQ.201700058},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Dimonte18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Fuchs18,
  author       = {Gunter Fuchs},
  title        = {Subcomplete forcing principles and definable well-orders},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {487--504},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201800008},
  doi          = {10.1002/MALQ.201800008},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Fuchs18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GeertsK18,
  author       = {Floris Geerts and
                  Bart Kuijpers},
  title        = {Topological elementary equivalence of regular semi-algebraic sets
                  in three-dimensional space},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {435--463},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201800017},
  doi          = {10.1002/MALQ.201800017},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/GeertsK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gitik18,
  author       = {Moti Gitik},
  title        = {A note on sequences witnessing singularity, following Magidor and
                  Sinapova},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {249--253},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700067},
  doi          = {10.1002/MALQ.201700067},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Gitik18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HonzikS18,
  author       = {Radek Honzik and
                  S{\'{a}}rka Stejskalov{\'{a}}},
  title        = {The tree property and the continuum function below},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {89--102},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600028},
  doi          = {10.1002/MALQ.201600028},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/HonzikS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HyttinenK18,
  author       = {Tapani Hyttinen and
                  Kaisa Kangas},
  title        = {Categoricity and universal classes},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {464--477},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700076},
  doi          = {10.1002/MALQ.201700076},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/HyttinenK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ishii18,
  author       = {Katsumasa Ishii},
  title        = {A note on decidability of variables in intuitionistic propositional
                  logic},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {183--184},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700004},
  doi          = {10.1002/MALQ.201700004},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Ishii18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide18,
  author       = {Norihiro Kamide},
  title        = {Extending paraconsistent quantum logic: a single-antecedent/succedent
                  system approach},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {371--386},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700012},
  doi          = {10.1002/MALQ.201700012},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Kamide18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Karadais18,
  author       = {Basil A. Kar{\'{a}}dais},
  title        = {Normal forms, linearity, and prime algebraicity over nonflat domains},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {55--88},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600020},
  doi          = {10.1002/MALQ.201600020},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Karadais18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kawai18,
  author       = {Tatsuji Kawai},
  title        = {Formally continuous functions on Baire space},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {192--200},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700015},
  doi          = {10.1002/MALQ.201700015},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kawai18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis18,
  author       = {Kyriakos Keremedis},
  title        = {Two new equivalents of Lindel{\"{o}}f metric spaces},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {37--43},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600059},
  doi          = {10.1002/MALQ.201600059},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Keremedis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KhanakiP18,
  author       = {Karim Khanaki and
                  Anand Pillay},
  title        = {Remarks on the {NIP} in a model},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {429--434},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700070},
  doi          = {10.1002/MALQ.201700070},
  timestamp    = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/KhanakiP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KumarS18,
  author       = {Ashutosh Kumar and
                  Saharon Shelah},
  title        = {Clubs on quasi measurable cardinals},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {44--48},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600003},
  doi          = {10.1002/MALQ.201600003},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/KumarS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LecomteZ18,
  author       = {Dominique Lecomte and
                  Miroslav Zelen{\'{y}}},
  title        = {Universal and complete sets in martingale theory},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {312--335},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201500094},
  doi          = {10.1002/MALQ.201500094},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/LecomteZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lipparini18,
  author       = {Paolo Lipparini},
  title        = {Some transfinite natural sums},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {514--528},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600092},
  doi          = {10.1002/MALQ.201600092},
  timestamp    = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Lipparini18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LuckeS18,
  author       = {Philipp L{\"{u}}cke and
                  Philipp Schlicht},
  title        = {Measurable cardinals and good -wellorderings},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {207--217},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700018},
  doi          = {10.1002/MALQ.201700018},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/LuckeS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MalekghasemiB18,
  author       = {Mahya Malekghasemi and
                  Seyed Mohammad Bagheri},
  title        = {Maximality of linear continuous logic},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {185--191},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600081},
  doi          = {10.1002/MALQ.201600081},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/MalekghasemiB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MalyM18,
  author       = {Jan Maly and
                  Moritz M{\"{u}}ller},
  title        = {A remark on pseudo proof systems and hard instances of the satisfiability
                  problem},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {418--428},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700009},
  doi          = {10.1002/MALQ.201700009},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/MalyM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Matet18,
  author       = {Pierre Matet},
  title        = {Scales with various kinds of good points},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {349--370},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600047},
  doi          = {10.1002/MALQ.201600047},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Matet18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Milchior18,
  author       = {Arthur Milchior},
  title        = {Spectra and satisfiability for logics with successor and a unary function},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {286--311},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201500070},
  doi          = {10.1002/MALQ.201500070},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Milchior18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Monk18,
  author       = {J. Donald Monk},
  title        = {A large list of small cardinal characteristics of Boolean algebras},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {336--348},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201600014},
  doi          = {10.1002/MALQ.201600014},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Monk18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pelupessy18,
  author       = {Florian Pelupessy},
  title        = {Reverse mathematics of the finite downwards closed subsets of ordered
                  by inclusion and adjacent Ramsey for fixed dimension},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {178--182},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700040},
  doi          = {10.1002/MALQ.201700040},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Pelupessy18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pollett18,
  author       = {Chris Pollett},
  title        = {On the finite axiomatizability of},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {6--24},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201500092},
  doi          = {10.1002/MALQ.201500092},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Pollett18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pratt-Hartmann18,
  author       = {Ian Pratt{-}Hartmann},
  title        = {Finite satisfiability for two-variable, first-order logic with one
                  transitive relation is decidable},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {218--248},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700055},
  doi          = {10.1002/MALQ.201700055},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Pratt-Hartmann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Silva18,
  author       = {Luis Miguel Villegas{-}Silva},
  title        = {The gap-two cardinal problem for uncountable languages},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {262--285},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201400079},
  doi          = {10.1002/MALQ.201400079},
  timestamp    = {Sun, 10 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Silva18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SonpanowV18,
  author       = {Nattapon Sonpanow and
                  Pimpen Vejjajiva},
  title        = {Some properties of infinite factorials},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {201--206},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700054},
  doi          = {10.1002/MALQ.201700054},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/SonpanowV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tachtsis18,
  author       = {Eleftherios Tachtsis},
  title        = {A note on the deductive strength of the Nielsen-Schreier theorem},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {173--177},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700022},
  doi          = {10.1002/MALQ.201700022},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Tachtsis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Usuba18,
  author       = {Toshimichi Usuba},
  title        = {New combinatorial principle on singular cardinals and normal ideals},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {395--408},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700024},
  doi          = {10.1002/MALQ.201700024},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Usuba18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vasey18,
  author       = {Sebastien Vasey},
  title        = {Shelah's eventual categoricity conjecture in tame abstract elementary
                  classes with primes},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {1-2},
  pages        = {25--36},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201500068},
  doi          = {10.1002/MALQ.201500068},
  timestamp    = {Tue, 08 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Vasey18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/X18,
  title        = {Cover Picture},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {135},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201870013},
  doi          = {10.1002/MALQ.201870013},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/X18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/X18a,
  title        = {Contents: (Math. Log. Quart. 3/2018)},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {137--139},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201870003},
  doi          = {10.1002/MALQ.201870003},
  timestamp    = {Wed, 08 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/X18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/X18b,
  title        = {Cover Picture},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {257},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201870015},
  doi          = {10.1002/MALQ.201870015},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/X18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/X18c,
  title        = {Contents: (Math. Log. Quart. 4-5/2018)},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {4-5},
  pages        = {259--261},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201870004},
  doi          = {10.1002/MALQ.201870004},
  timestamp    = {Wed, 19 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/X18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/X18d,
  title        = {Cover Picture},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {413},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201870017},
  doi          = {10.1002/MALQ.201870017},
  timestamp    = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/X18d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/X18e,
  title        = {Contents: (Math. Log. Quart. 6/2018)},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {6},
  pages        = {415--417},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201870006},
  doi          = {10.1002/MALQ.201870006},
  timestamp    = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/X18e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zapletal18,
  author       = {Jindrich Zapletal},
  title        = {Bounded Namba forcing axiom may fail},
  journal      = {Math. Log. Q.},
  volume       = {64},
  number       = {3},
  pages        = {170--172},
  year         = {2018},
  url          = {https://doi.org/10.1002/malq.201700025},
  doi          = {10.1002/MALQ.201700025},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Zapletal18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics