Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/Freire21,
  author       = {Rodrigo A. Freire},
  title        = {Embeddability Between Orderings and {GCH}},
  journal      = {Reports Math. Log.},
  volume       = {56},
  pages        = {101--109},
  year         = {2021},
  url          = {https://rml.tcs.uj.edu.pl/rml-56/05-Freire.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Freire21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/GomezMM21,
  author       = {Conrado Gomez and
                  Miguel Andr{\'{e}}s Marcos and
                  Hern{\'{a}}n Javier San Mart{\'{\i}}n},
  title        = {On the relation of negations in Nelson algebras},
  journal      = {Reports Math. Log.},
  volume       = {56},
  pages        = {15--56},
  year         = {2021},
  url          = {https://rml.tcs.uj.edu.pl/rml-56/02-Gomez.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/GomezMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Moniri21,
  author       = {Mojtaba Moniri},
  title        = {Corrigendum to "On Definable Completeness for Ordered Fields" RML,
                  54 (2019), 95-100},
  journal      = {Reports Math. Log.},
  volume       = {56},
  pages        = {111--113},
  year         = {2021},
  url          = {https://rml.tcs.uj.edu.pl/rml-56/06-Moniri.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Moniri21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/NikiO21,
  author       = {Satoru Niki and
                  Hitoshi Omori},
  title        = {A note on Humberstone's constant {\(\Omega\)}},
  journal      = {Reports Math. Log.},
  volume       = {56},
  pages        = {75--99},
  year         = {2021},
  url          = {https://rml.tcs.uj.edu.pl/rml-56/04-Omori.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/NikiO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/PerkovM21,
  author       = {Tin Perkov and
                  Luka Mikec},
  title        = {Tableau-based translation from first-order logic to modal logic},
  journal      = {Reports Math. Log.},
  volume       = {56},
  pages        = {57--74},
  year         = {2021},
  url          = {https://rml.tcs.uj.edu.pl/rml-56/03-Perkov.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/PerkovM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/SonpanowV21,
  author       = {Nattapon Sonpanow and
                  Pimpen Vejjajiva},
  title        = {Some cardinal characteristics related to the covering number and the
                  uniformity of the meagre ideal},
  journal      = {Reports Math. Log.},
  volume       = {56},
  pages        = {3--14},
  year         = {2021},
  url          = {https://rml.tcs.uj.edu.pl/rml-56/01-Vejjajiva.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/SonpanowV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}