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/aml59.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/aml/AlexandruC20,
  author       = {Andrei Alexandru and
                  Gabriel Ciobanu},
  title        = {Properties of the atoms in finitely supported structures},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {229--256},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00684-9},
  doi          = {10.1007/S00153-019-00684-9},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/AlexandruC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/AndrewsGHKM20,
  author       = {Uri Andrews and
                  Isaac Goldbring and
                  Sherwood Hachtman and
                  H. Jerome Keisler and
                  David Marker},
  title        = {Scattered sentences have few separable randomizations},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {743--754},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00718-7},
  doi          = {10.1007/S00153-020-00718-7},
  timestamp    = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/AndrewsGHKM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Arai20,
  author       = {Toshiyasu Arai},
  title        = {Proof-theoretic strengths of the well-ordering principles},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {257--275},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00689-4},
  doi          = {10.1007/S00153-019-00689-4},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Arai20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/AurichiZ20,
  author       = {Leandro Aurichi and
                  Lyubomyr Zdomskyy},
  title        = {Covering properties of {\o}mega-mad families},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {445--452},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00700-y},
  doi          = {10.1007/S00153-019-00700-Y},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/AurichiZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Bahrami20,
  author       = {Saeideh Bahrami},
  title        = {Tanaka's theorem revisited},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {865--877},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00720-z},
  doi          = {10.1007/S00153-020-00720-Z},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Bahrami20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BazhenovMMSY20,
  author       = {Nikolay Bazhenov and
                  Manat Mustafa and
                  Luca San Mauro and
                  Andrea Sorbi and
                  Mars M. Yamaleev},
  title        = {Classifying equivalence relations in the Ershov hierarchy},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {835--864},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00710-1},
  doi          = {10.1007/S00153-020-00710-1},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BazhenovMMSY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BerensteinV20,
  author       = {Alexander Berenstein and
                  Evgueni Vassiliev},
  title        = {Fields with a dense-codense linearly independent multiplicative subgroup},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {197--228},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00683-w},
  doi          = {10.1007/S00153-019-00683-W},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/BerensteinV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BeyarslanHOP20,
  author       = {{\"{O}}zlem Beyarslan and
                  Daniel Max Hoffmann and
                  G{\"{o}}nen{\c{c}} Onay and
                  David Pierce},
  title        = {Fields with automorphism and valuation},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {997--1008},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00728-5},
  doi          = {10.1007/S00153-020-00728-5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/BeyarslanHOP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Bianchetti20,
  author       = {Matteo Bianchetti},
  title        = {Weaker variants of infinite time Turing machines},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {335--365},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00692-9},
  doi          = {10.1007/S00153-019-00692-9},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Bianchetti20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BilanovicCR20,
  author       = {Iva Bilanovic and
                  Jennifer Chubb and
                  Sam Roven},
  title        = {Detecting properties from descriptions of groups},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {293--312},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00690-x},
  doi          = {10.1007/S00153-019-00690-X},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BilanovicCR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Brickhill20,
  author       = {Hazel Brickhill},
  title        = {Square below a non-weakly compact cardinal},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {409--426},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00695-6},
  doi          = {10.1007/S00153-019-00695-6},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Brickhill20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BrownM20,
  author       = {Tyler Brown and
                  Timothy H. McNicholl},
  title        = {Analytic computable structure theory and L\({}^{\mbox{p}}\)-spaces
                  part 2},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {427--443},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00697-4},
  doi          = {10.1007/S00153-019-00697-4},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BrownM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BydzovskyM20,
  author       = {Jan Bydzovsky and
                  Moritz M{\"{u}}ller},
  title        = {Polynomial time ultrapowers and the consistency of circuit lower bounds},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {127--147},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00681-y},
  doi          = {10.1007/S00153-019-00681-Y},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/BydzovskyM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ChitaiaNSY20,
  author       = {Irakli O. Chitaia and
                  Keng Meng Ng and
                  Andrea Sorbi and
                  Yue Yang},
  title        = {Incomparability in local structures of s-degrees and Q-degrees},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {777--791},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00714-x},
  doi          = {10.1007/S00153-020-00714-X},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/ChitaiaNSY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CodyS20,
  author       = {Brent Cody and
                  Hiroshi Sakai},
  title        = {The weakly compact reflection principle need not imply a high order
                  of weak compactness},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {179--196},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00686-7},
  doi          = {10.1007/S00153-019-00686-7},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/CodyS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Cunningham20,
  author       = {Daniel W. Cunningham},
  title        = {A diamond-plus principle consistent with {AD}},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {755--775},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00715-w},
  doi          = {10.1007/S00153-020-00715-W},
  timestamp    = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Cunningham20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DienerM20,
  author       = {Hannes Diener and
                  Maarten McKubre{-}Jordens},
  title        = {Classifying material implications over minimal logic},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {905--924},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00722-x},
  doi          = {10.1007/S00153-020-00722-X},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DienerM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Dimitracopoulos20,
  author       = {Costas Dimitracopoulos and
                  Vasileios S. Paschalis},
  title        = {End extensions of models of fragments of {PA}},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {817--833},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00708-4},
  doi          = {10.1007/S00153-019-00708-4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Dimitracopoulos20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Frittaion20,
  author       = {Emanuele Frittaion},
  title        = {Completeness of the primitive recursive {\o}mega-rule},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {715--731},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00716-9},
  doi          = {10.1007/S00153-020-00716-9},
  timestamp    = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Frittaion20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gorbow20,
  author       = {Paul Kindvall Gorbow},
  title        = {Rank-initial embeddings of non-standard models of set theory},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {517--563},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00699-2},
  doi          = {10.1007/S00153-019-00699-2},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Gorbow20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HalbeisenT20,
  author       = {Lorenz Halbeisen and
                  Eleftherios Tachtsis},
  title        = {On Ramsey choice and partial choice for infinite families of n-element
                  sets},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {583--606},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00705-7},
  doi          = {10.1007/S00153-019-00705-7},
  timestamp    = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HalbeisenT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HeinS20,
  author       = {Paul Hein and
                  Otmar Spinas},
  title        = {Antichains of perfect and splitting trees},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {367--388},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00694-7},
  doi          = {10.1007/S00153-019-00694-7},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HeinS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/IshiharaN20,
  author       = {Hajime Ishihara and
                  Takako Nemoto},
  title        = {On the independence of premiss axiom and rule},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {793--815},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00707-5},
  doi          = {10.1007/S00153-019-00707-5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/IshiharaN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/JahnkeS20,
  author       = {Franziska Jahnke and
                  Pierre Simon},
  title        = {{NIP} henselian valued fields},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {167--178},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00685-8},
  doi          = {10.1007/S00153-019-00685-8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/JahnkeS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Jerabek20,
  author       = {Emil Jer{\'{a}}bek},
  title        = {Induction rules in bounded arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {461--501},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00702-w},
  doi          = {10.1007/S00153-019-00702-W},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Jerabek20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kolmakov20,
  author       = {Evgeny Kolmakov},
  title        = {Local reflection, definable elements and 1-provability},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {979--996},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00732-9},
  doi          = {10.1007/S00153-020-00732-9},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kolmakov20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kurahashi20,
  author       = {Taishi Kurahashi},
  title        = {Uniform Lyndon interpolation property in propositional modal logics},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {659--678},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00713-y},
  doi          = {10.1007/S00153-020-00713-Y},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Kurahashi20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KurilicM20,
  author       = {Milos S. Kurilic and
                  Nenad Moraca},
  title        = {Reversibility of extreme relational structures},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {565--582},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00703-9},
  doi          = {10.1007/S00153-019-00703-9},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/KurilicM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Mazari-Armida20,
  author       = {Marcos Mazari{-}Armida},
  title        = {Non-forking w-good frames},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {31--56},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00677-8},
  doi          = {10.1007/S00153-019-00677-8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Mazari-Armida20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Mennuni20,
  author       = {Rosario Mennuni},
  title        = {Product of invariant types modulo domination-equivalence},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {1--29},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00676-9},
  doi          = {10.1007/S00153-019-00676-9},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Mennuni20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MildenbergerS20,
  author       = {Heike Mildenberger and
                  Saharon Shelah},
  title        = {A version of {\(\kappa\)}-Miller forcing},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {879--892},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00721-y},
  doi          = {10.1007/S00153-020-00721-Y},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MildenbergerS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Minden20,
  author       = {Kaethe Minden},
  title        = {The subcompleteness of diagonal Prikry forcing},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {81--102},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00678-7},
  doi          = {10.1007/S00153-019-00678-7},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Minden20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/NeemanS20,
  author       = {Itay Neeman and
                  John Susice},
  title        = {Chang's Conjecture with {\textdollar}{\textbackslash}square {\_}\{{\textbackslash}omega
                  {\_}1, 2\}{\textdollar} from an {\o}mega \({}_{\mbox{1}}\)-Erd{\H{o}}s
                  cardinal},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {893--904},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00723-w},
  doi          = {10.1007/S00153-020-00723-W},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/NeemanS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Nemoto20,
  author       = {Takako Nemoto},
  title        = {Finite sets and infinite sets in weak intuitionistic arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {607--657},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00704-8},
  doi          = {10.1007/S00153-019-00704-8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Nemoto20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Nyikos20,
  author       = {Peter Nyikos},
  title        = {Special ultrafilters and cofinal subsets of (\({}^{\mbox{{\o}mega}}\)
                  {\o}mega , {\textless}\({}^{\mbox{*}}\))},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {1009--1026},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00724-9},
  doi          = {10.1007/S00153-020-00724-9},
  timestamp    = {Mon, 19 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Nyikos20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ParlamentoP20,
  author       = {Franco Parlamento and
                  Flavio Previale},
  title        = {Absorbing the structural rules in the sequent calculus with additional
                  atomic rules},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {389--408},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00696-5},
  doi          = {10.1007/S00153-019-00696-5},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/ParlamentoP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/PavaR20,
  author       = {Luz Victoria De La Pava and
                  Ciro Russo},
  title        = {Compactness in MV-topologies: Tychonoff theorem and Stone-{\v{C}}ech
                  compactification},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {57--79},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00679-6},
  doi          = {10.1007/S00153-019-00679-6},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/PavaR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/PeterzilR20,
  author       = {Ya'acov Peterzil and
                  Ayala Rosel},
  title        = {Definable one-dimensional topologies in O-minimal structures},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {103--125},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00680-z},
  doi          = {10.1007/S00153-019-00680-Z},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/PeterzilR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Powell20,
  author       = {Thomas Powell},
  title        = {Dependent choice as a termination principle},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {503--516},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00706-6},
  doi          = {10.1007/S00153-019-00706-6},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Powell20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Quinn20,
  author       = {Sara B. Quinn},
  title        = {Scott sentences for equivalence structures},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {453--460},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00701-x},
  doi          = {10.1007/S00153-019-00701-X},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Quinn20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/RaghavanS20,
  author       = {Dilip Raghavan and
                  Saharon Shelah},
  title        = {A small ultrafilter number at smaller cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {325--334},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00693-8},
  doi          = {10.1007/S00153-019-00693-8},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/RaghavanS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Repicky20,
  author       = {Miroslav Repick{\'{y}}},
  title        = {Ideal generalizations of Egoroff's theorem},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {957--977},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00725-8},
  doi          = {10.1007/S00153-020-00725-8},
  timestamp    = {Mon, 19 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Repicky20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sato20,
  author       = {Kentaro Sato},
  title        = {Ordinal analyses for monotone and cofinal transfinite inductions},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {277--291},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00688-5},
  doi          = {10.1007/S00153-019-00688-5},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Sato20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sfouli20,
  author       = {Hassan Sfouli},
  title        = {Some nondefinability results with entire functions in a polynomially
                  bounded o-minimal structure},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {733--741},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00717-8},
  doi          = {10.1007/S00153-020-00717-8},
  timestamp    = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sfouli20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Shami20,
  author       = {Ziv Shami},
  title        = {On the forking topology of a reduct of a simple theory},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {3-4},
  pages        = {313--324},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00691-w},
  doi          = {10.1007/S00153-019-00691-W},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Shami20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Shioya20,
  author       = {Masahiro Shioya},
  title        = {Easton collapses and a strongly saturated filter},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {1027--1036},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00733-8},
  doi          = {10.1007/S00153-020-00733-8},
  timestamp    = {Mon, 19 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Shioya20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ShuklaJK20,
  author       = {Himanshu Shukla and
                  Arihant Jain and
                  Amit Kuber},
  title        = {Definable combinatorics with dense linear orders},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {679--701},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00709-8},
  doi          = {10.1007/S00153-020-00709-8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/ShuklaJK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/SinapovaS20,
  author       = {Dima Sinapova and
                  Ioannis A. Souldatos},
  title        = {Kurepa trees and spectra of {\(\mathscr{L}\)}\({}_{\mbox{{\o}mega
                  \({}_{\mbox{1, {\o}mega}}\) }}\)-sentences},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {939--956},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00729-4},
  doi          = {10.1007/S00153-020-00729-4},
  timestamp    = {Mon, 19 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/SinapovaS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Stronkowski20,
  author       = {Michal M. Stronkowski},
  title        = {Deciding active structural completeness},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {1-2},
  pages        = {149--165},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-019-00682-x},
  doi          = {10.1007/S00153-019-00682-X},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Stronkowski20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Terwijn20,
  author       = {Sebastiaan A. Terwijn},
  title        = {The noneffectivity of Arslanov's completeness criterion and related
                  theorems},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {5-6},
  pages        = {703--713},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00712-z},
  doi          = {10.1007/S00153-020-00712-Z},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Terwijn20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Wu20,
  author       = {Huishan Wu},
  title        = {Bounded-low sets and the high/low hierarchy},
  journal      = {Arch. Math. Log.},
  volume       = {59},
  number       = {7-8},
  pages        = {925--938},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00153-020-00726-7},
  doi          = {10.1007/S00153-020-00726-7},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Wu20.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.