default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/journals/aml/aml58.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/aml/Ahmed19,
  author       = {Shehzad Ahmed},
  title        = {An extension of Shelah's trichotomy theorem},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {137--153},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0631-6},
  doi          = {10.1007/S00153-018-0631-6},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Ahmed19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/AndrettaD19,
  author       = {Alessandro Andretta and
                  Vincenzo Dimonte},
  title        = {The iterability hierarchy above {\textdollar}{\textdollar}\{\{{\textbackslash}mathrm\{{\textbackslash}mathsf
                  \{I3\}\}\}\}{\textdollar}{\textdollar} {I} 3},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {77--97},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0624-5},
  doi          = {10.1007/S00153-018-0624-5},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/AndrettaD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Baratella19,
  author       = {Stefano Baratella},
  title        = {A completeness theorem for continuous predicate modal logic},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {183--201},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0630-7},
  doi          = {10.1007/S00153-018-0630-7},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Baratella19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BazhenovFRM19,
  author       = {Nikolay Bazhenov and
                  Ekaterina B. Fokina and
                  Dino Rossegger and
                  Luca San Mauro},
  title        = {Degrees of bi-embeddable categoricity of equivalence structures},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {543--563},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0650-3},
  doi          = {10.1007/S00153-018-0650-3},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BazhenovFRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BazhenovMY19,
  author       = {Nikolay Bazhenov and
                  Manat Mustafa and
                  Mars M. Yamaleev},
  title        = {Elementary theories and hereditary undecidability for semilattices
                  of numberings},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {485--500},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0647-y},
  doi          = {10.1007/S00153-018-0647-Y},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BazhenovMY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Benhamou19,
  author       = {Tom Benhamou},
  title        = {Prikry forcing and tree Prikry forcing of various filters},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {787--817},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00660-3},
  doi          = {10.1007/S00153-019-00660-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Benhamou19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BeniniB19,
  author       = {Marco Benini and
                  Roberta Bonacina},
  title        = {Well quasi orders in a categorical setting},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {501--526},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0649-9},
  doi          = {10.1007/S00153-018-0649-9},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BeniniB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Berg19,
  author       = {Benno van den Berg},
  title        = {A Kuroda-style j-translation},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {627--634},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0656-x},
  doi          = {10.1007/S00153-018-0656-X},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Berg19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BergerIKN19,
  author       = {Josef Berger and
                  Hajime Ishihara and
                  Takayuki Kihara and
                  Takako Nemoto},
  title        = {The binary expansion and the intermediate value theorem in constructive
                  reverse mathematics},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {203--217},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0627-2},
  doi          = {10.1007/S00153-018-0627-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BergerIKN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BergerS19,
  author       = {Josef Berger and
                  Gregor Svindland},
  title        = {Convexity and unique minimum points},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {27--34},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0619-2},
  doi          = {10.1007/S00153-018-0619-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BergerS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Bobkov19,
  author       = {Anton Bobkov},
  title        = {VC-density for trees},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {587--603},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0652-1},
  doi          = {10.1007/S00153-018-0652-1},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Bobkov19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Boricic19,
  author       = {Marija Boricic},
  title        = {Sequent calculus for classical logic probabilized},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {119--136},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0626-3},
  doi          = {10.1007/S00153-018-0626-3},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Boricic19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BrendleHP19,
  author       = {J{\"{o}}rg Brendle and
                  Michael Hrus{\'{a}}k and
                  V{\'{\i}}ctor Torres P{\'{e}}rez},
  title        = {Construction with opposition: cardinal invariants and games},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {943--963},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00671-0},
  doi          = {10.1007/S00153-019-00671-0},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/BrendleHP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Celani19,
  author       = {Sergio A. Celani},
  title        = {Complete and atomic Tarski algebras},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {899--914},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00666-x},
  doi          = {10.1007/S00153-019-00666-X},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Celani19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ChodounskyFG19,
  author       = {David Chodounsk{\'{y}} and
                  Vera Fischer and
                  Jan Greb{\'{\i}}k},
  title        = {Free sequences in {\(\wp\)}({\(\omega\)}) / fin},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {1035--1051},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00675-w},
  doi          = {10.1007/S00153-019-00675-W},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/ChodounskyFG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CickovicIV19,
  author       = {Eugen Cickovic and
                  Zvonko Iljazovic and
                  Lucija Validzic},
  title        = {Chainable and circularly chainable semicomputable sets in computable
                  topological spaces},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {885--897},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00667-w},
  doi          = {10.1007/S00153-019-00667-W},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CickovicIV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ClemensCP19,
  author       = {John D. Clemens and
                  Samuel Coskey and
                  Stephanie Potter},
  title        = {On the classification of vertex-transitive structures},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {565--574},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0651-2},
  doi          = {10.1007/S00153-018-0651-2},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/ClemensCP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CoskeyE19,
  author       = {Samuel Coskey and
                  Paul Ellis},
  title        = {Conjugacy for homogeneous ordered graphs},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {457--467},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0645-0},
  doi          = {10.1007/S00153-018-0645-0},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CoskeyE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DavisHPR19,
  author       = {Caleb Davis and
                  Jeffry L. Hirst and
                  Jake Pardo and
                  Tim Ransom},
  title        = {Reverse mathematics and colorings of hypergraphs},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {575--585},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0654-z},
  doi          = {10.1007/S00153-018-0654-Z},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DavisHPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DobrowolskiG19,
  author       = {Jan Dobrowolski and
                  John Goodrick},
  title        = {Some remarks on inp-minimal and finite burden groups},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {267--274},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0634-3},
  doi          = {10.1007/S00153-018-0634-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DobrowolskiG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DowS19,
  author       = {Alan Dow and
                  Saharon Shelah},
  title        = {Pseudo P-points and splitting number},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {1005--1027},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00674-x},
  doi          = {10.1007/S00153-019-00674-X},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DowS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Du19,
  author       = {Jin Du},
  title        = {Diamond, scales and {GCH} down to {\textdollar}{\textdollar}{\textbackslash}aleph
                  {\_}\{{\textbackslash}omega 2\}{\textdollar}{\textdollar} {\(\aleph\)}
                  {\(\omega\)} 2},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {427--442},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0633-4},
  doi          = {10.1007/S00153-018-0633-4},
  timestamp    = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Du19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Du19a,
  author       = {Jin Du},
  title        = {The strong tree property and the failure of {SCH}},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {867--875},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00663-0},
  doi          = {10.1007/S00153-019-00663-0},
  timestamp    = {Wed, 18 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Du19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DupontHK19,
  author       = {Katharina Dupont and
                  Assaf Hasson and
                  Salma Kuhlmann},
  title        = {Definable valuations induced by multiplicative subgroups and {NIP}
                  fields},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {819--839},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00661-2},
  doi          = {10.1007/S00153-019-00661-2},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DupontHK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/EnayatP19,
  author       = {Ali Enayat and
                  Fedor Pakhomov},
  title        = {Truth, disjunction, and induction},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {753--766},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0657-9},
  doi          = {10.1007/S00153-018-0657-9},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/EnayatP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/FischerM19,
  author       = {Vera Fischer and
                  Diana Carolina Montoya},
  title        = {Ideals of independence},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {767--785},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00669-8},
  doi          = {10.1007/S00153-019-00669-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/FischerM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/FischerS19,
  author       = {Vera Fischer and
                  Saharon Shelah},
  title        = {The spectrum of independence},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {877--884},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00665-y},
  doi          = {10.1007/S00153-019-00665-Y},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/FischerS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Freund19,
  author       = {Anton Freund},
  title        = {A note on iterated consistency and infinite proofs},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {339--346},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0639-y},
  doi          = {10.1007/S00153-018-0639-Y},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Freund19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Fuchs19,
  author       = {Gunter Fuchs},
  title        = {Diagonal reflections on squares},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {1--26},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0614-7},
  doi          = {10.1007/S00153-018-0614-7},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Fuchs19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GasarchU19,
  author       = {William Gasarch and
                  Douglas Ulrich},
  title        = {Distinct volume subsets via indiscernibles},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {469--483},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0646-z},
  doi          = {10.1007/S00153-018-0646-Z},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GasarchU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gitik19,
  author       = {Moti Gitik},
  title        = {Strange ultrafilters},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {35--52},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0620-9},
  doi          = {10.1007/S00153-018-0620-9},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Gitik19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GitikK19,
  author       = {Moti Gitik and
                  Eyal Kaplan},
  title        = {Non-homogeneity of quotients of Prikry forcings},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {649--710},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00659-w},
  doi          = {10.1007/S00153-019-00659-W},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GitikK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GitmanH19,
  author       = {Victoria Gitman and
                  Joel David Hamkins},
  title        = {A model of the generic Vop{\v{e}}nka principle in which the ordinals
                  are not Mahlo},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {245--265},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0632-5},
  doi          = {10.1007/S00153-018-0632-5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GitmanH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gonzalez19,
  author       = {Luciano J. Gonz{\'{a}}lez},
  title        = {Selfextensional logics with a distributive nearlattice term},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {219--243},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0628-1},
  doi          = {10.1007/S00153-018-0628-1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Gonzalez19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GuingonaH19,
  author       = {Vincent Guingona and
                  Cameron Donnay Hill},
  title        = {On positive local combinatorial dividing-lines in model theory},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {289--323},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0635-2},
  doi          = {10.1007/S00153-018-0635-2},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GuingonaH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HabicHKVW19,
  author       = {Miha E. Habic and
                  Joel David Hamkins and
                  Lukas Daniel Klausner and
                  Jonathan Verner and
                  Kameryn J. Williams},
  title        = {Set-theoretic blockchains},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {965--997},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00672-z},
  doi          = {10.1007/S00153-019-00672-Z},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HabicHKVW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Hachtman19,
  author       = {Sherwood Hachtman},
  title        = {Determinacy separations for class games},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {635--648},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0655-y},
  doi          = {10.1007/S00153-018-0655-Y},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Hachtman19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HirstM19,
  author       = {Jeffry L. Hirst and
                  Carl Mummert},
  title        = {Using Ramsey's theorem once},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {857--866},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00664-z},
  doi          = {10.1007/S00153-019-00664-Z},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HirstM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Honzik19,
  author       = {Radek Honzik},
  title        = {A Laver-like indestructibility for hypermeasurable cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {275--287},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0637-0},
  doi          = {10.1007/S00153-018-0637-0},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Honzik19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HorowitzS19,
  author       = {Haim Horowitz and
                  Saharon Shelah},
  title        = {On the non-existence of mad families},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {325--338},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0640-5},
  doi          = {10.1007/S00153-018-0640-5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HorowitzS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Iemhoff19,
  author       = {Rosalie Iemhoff},
  title        = {Uniform interpolation and sequent calculi in modal logic},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {155--181},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0629-0},
  doi          = {10.1007/S00153-018-0629-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Iemhoff19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kanckos19,
  author       = {Annika Kanckos},
  title        = {A note on Gentzen's ordinal assignment},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {347--352},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0641-4},
  doi          = {10.1007/S00153-018-0641-4},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kanckos19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kawai19,
  author       = {Tatsuji Kawai},
  title        = {A continuity principle equivalent to the monotone {\(\Pi\)}\({}^{\mbox{1}}\)\({}_{\mbox{0}}\)
                  fan theorem},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {443--456},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0644-1},
  doi          = {10.1007/S00153-018-0644-1},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kawai19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KuznetsS19,
  author       = {Roman Kuznets and
                  Lutz Stra{\ss}burger},
  title        = {Maehara-style modal nested calculi},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {359--385},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0636-1},
  doi          = {10.1007/S00153-018-0636-1},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KuznetsS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/LaskowskiS19,
  author       = {Michael C. Laskowski and
                  Saharon Shelah},
  title        = {A strong failure of {\textdollar}{\textdollar}{\textbackslash}aleph
                  {\_}0{\textdollar}{\textdollar} {\(\aleph\)} 0 -stability for atomic
                  classes},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {99--118},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0623-6},
  doi          = {10.1007/S00153-018-0623-6},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/LaskowskiS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MillerG19,
  author       = {Russell Miller and
                  Victor Ocasio Gonz{\'{a}}lez},
  title        = {Degree spectra of real closed fields},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {387--411},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0638-z},
  doi          = {10.1007/S00153-018-0638-Z},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MillerG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/OmataP19,
  author       = {Yasuhiko Omata and
                  Florian Pelupessy},
  title        = {Dickson's lemma and weak Ramsey theory},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {413--425},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0642-3},
  doi          = {10.1007/S00153-018-0642-3},
  timestamp    = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/OmataP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/PillayY19,
  author       = {Anand Pillay and
                  Ningyuan Yao},
  title        = {A note on groups definable in the p-adic field},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {1029--1034},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00673-y},
  doi          = {10.1007/S00153-019-00673-Y},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/PillayY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/RanziS19,
  author       = {Florian Ranzi and
                  Thomas Strahm},
  title        = {A flexible type system for the small Veblen ordinal},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {711--751},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00658-x},
  doi          = {10.1007/S00153-019-00658-X},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/RanziS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/RinaldiW19,
  author       = {Davide Rinaldi and
                  Daniel Misselbeck{-}Wessel},
  title        = {Cut elimination for entailment relations},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {605--625},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0653-0},
  doi          = {10.1007/S00153-018-0653-0},
  timestamp    = {Fri, 09 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/RinaldiW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sargsyan19,
  author       = {Grigor Sargsyan},
  title        = {An inner model theoretic proof of Becker's theorem},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {999--1003},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00668-9},
  doi          = {10.1007/S00153-019-00668-9},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sargsyan19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ShaferS19,
  author       = {Paul Shafer and
                  Andrea Sorbi},
  title        = {Comparing the degrees of enumerability and the closed Medvedev degrees},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {5-6},
  pages        = {527--542},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0648-x},
  doi          = {10.1007/S00153-018-0648-X},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/ShaferS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Silva19,
  author       = {Samuel G. Da Silva},
  title        = {On uniformly continuous functions between pseudometric spaces and
                  the Axiom of Countable Choice},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {3-4},
  pages        = {353--358},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0643-2},
  doi          = {10.1007/S00153-018-0643-2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Silva19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sobota19,
  author       = {Damian Sobota},
  title        = {Families of sets related to Rosenthal's lemma},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {53--69},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0621-8},
  doi          = {10.1007/S00153-018-0621-8},
  timestamp    = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Sobota19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Usuba19,
  author       = {Toshimichi Usuba},
  title        = {Extendible cardinals and the mantle},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {1-2},
  pages        = {71--75},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-018-0625-4},
  doi          = {10.1007/S00153-018-0625-4},
  timestamp    = {Fri, 25 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Usuba19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Wilson19,
  author       = {Trevor M. Wilson},
  title        = {Generic Vop{\v{e}}nka cardinals and models of {ZF} with few {\textdollar}{\textdollar}{\textbackslash}aleph
                  {\_}1{\textdollar}{\textdollar} {\(\aleph\)} 1 -Suslin sets},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {841--856},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00662-1},
  doi          = {10.1007/S00153-019-00662-1},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Wilson19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ZhangZ19,
  author       = {Dexue Zhang and
                  Gao Zhang},
  title        = {Continuous triangular norm based fuzzy topology},
  journal      = {Arch. Math. Log.},
  volume       = {58},
  number       = {7-8},
  pages        = {915--942},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00153-019-00670-1},
  doi          = {10.1007/S00153-019-00670-1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/ZhangZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.