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

> Home > Search

download as .bib file

@article{DBLP:journals/aml/Arai18,
  author       = {Toshiyasu Arai},
  title        = {Derivatives of normal functions and {\(\omega\)}-models},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {649--664},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0600-5},
  doi          = {10.1007/S00153-017-0600-5},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Arai18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Aslanyan18,
  author       = {Vahagn Aslanyan},
  title        = {Ax-Schanuel for linear differential equations},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {629--648},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0602-3},
  doi          = {10.1007/S00153-017-0602-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Aslanyan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Beros18,
  author       = {Konstantinos A. Beros},
  title        = {Homomorphism reductions on Polish groups},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {795--807},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0606-z},
  doi          = {10.1007/S00153-017-0606-Z},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Beros18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BoneyV18,
  author       = {Will Boney and
                  Sebastien Vasey},
  title        = {Good frames in the Hart-Shelah example},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {687--712},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0599-7},
  doi          = {10.1007/S00153-017-0599-7},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BoneyV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Brendle18,
  author       = {J{\"{o}}rg Brendle},
  title        = {Maximal trees},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {421--428},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0575-2},
  doi          = {10.1007/S00153-017-0575-2},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Brendle18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CamerloD18,
  author       = {Riccardo Camerlo and
                  Jacques Duparc},
  title        = {Some remarks on Baire's grand theorem},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {195--201},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0563-6},
  doi          = {10.1007/S00153-017-0563-6},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CamerloD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Carlucci18,
  author       = {Lorenzo Carlucci},
  title        = {A weak variant of Hindman's Theorem stronger than Hilbert's Theorem},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {381--389},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0576-1},
  doi          = {10.1007/S00153-017-0576-1},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Carlucci18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CintulaN18,
  author       = {Petr Cintula and
                  Carles Noguera},
  title        = {Implicational (semilinear) logics {III:} completeness properties},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {391--420},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0577-0},
  doi          = {10.1007/S00153-017-0577-0},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CintulaN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CirauloS18,
  author       = {Francesco Ciraulo and
                  Giovanni Sambin},
  title        = {Embedding locales and formal topologies into positive topologies},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {755--768},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0605-0},
  doi          = {10.1007/S00153-017-0605-0},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CirauloS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CraneT18,
  author       = {Harry Crane and
                  Henry Towsner},
  title        = {Relative exchangeability with equivalence relations},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {533--556},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0591-2},
  doi          = {10.1007/S00153-017-0591-2},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CraneT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Cummings18,
  author       = {James Cummings},
  title        = {Aronszajn and Kurepa trees},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {83--90},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0579-y},
  doi          = {10.1007/S00153-017-0579-Y},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Cummings18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Dobrowolski18,
  author       = {Jan Dobrowolski},
  title        = {Generic variations and {NTP} {\textdollar}{\textdollar}{\_}1{\textdollar}{\textdollar}
                  1},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {861--871},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0609-4},
  doi          = {10.1007/S00153-018-0609-4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Dobrowolski18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/EnayatKM18,
  author       = {Ali Enayat and
                  Matt Kaufmann and
                  Zachiri McKenzie},
  title        = {Largest initial segments pointwise fixed by automorphisms of models
                  of set theory},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {91--139},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0582-3},
  doi          = {10.1007/S00153-017-0582-3},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/EnayatKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/EnayatKM18a,
  author       = {Ali Enayat and
                  Matt Kaufmann and
                  Zachiri McKenzie},
  title        = {Iterated ultrapowers for the masses},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {557--576},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0592-1},
  doi          = {10.1007/S00153-017-0592-1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/EnayatKM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/EnayatPS18,
  author       = {Ali Enayat and
                  Massoud Pourmahdian and
                  Ralf Schindler},
  title        = {Preface},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0583-2},
  doi          = {10.1007/S00153-017-0583-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/EnayatPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Fuchs18,
  author       = {Gunter Fuchs},
  title        = {The subcompleteness of Magidor forcing},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {273--284},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0568-1},
  doi          = {10.1007/S00153-017-0568-1},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Fuchs18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Fuchs18a,
  author       = {Gunter Fuchs},
  title        = {Closure properties of parametric subcompleteness},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {829--852},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0611-x},
  doi          = {10.1007/S00153-018-0611-X},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Fuchs18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GhadernezhadV18,
  author       = {Zaniar Ghadernezhad and
                  Andr{\'{e}}s Villaveces},
  title        = {The small index property for homogeneous models in AEC's},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {141--157},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0587-y},
  doi          = {10.1007/S00153-017-0587-Y},
  timestamp    = {Thu, 25 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/GhadernezhadV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Golshani18,
  author       = {Mohammad Golshani},
  title        = {The tree property at the successor of a singular limit of measurable
                  cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {3--25},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0581-4},
  doi          = {10.1007/S00153-017-0581-4},
  timestamp    = {Thu, 25 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Golshani18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GolshaniM18,
  author       = {Mohammad Golshani and
                  Shahram Mohsenipour},
  title        = {On a question of Silver about gap-two cardinal transfer principles},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {27--35},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0586-z},
  doi          = {10.1007/S00153-017-0586-Z},
  timestamp    = {Thu, 25 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/GolshaniM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GoncharovKS18,
  author       = {Sergey Goncharov and
                  Julia F. Knight and
                  Ioannis A. Souldatos},
  title        = {Hanf number for Scott sentences of computable structures},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {889--907},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0615-6},
  doi          = {10.1007/S00153-018-0615-6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GoncharovKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Goodrick18,
  author       = {John Goodrick},
  title        = {Bounding quantification in parametric expansions of Presburger arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {577--591},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0593-0},
  doi          = {10.1007/S00153-017-0593-0},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Goodrick18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Goral18,
  author       = {Haydar G{\"{o}}ral},
  title        = {Interpretable groups in Mann pairs},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {203--237},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0565-4},
  doi          = {10.1007/S00153-017-0565-4},
  timestamp    = {Wed, 04 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Goral18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Halbeisen18,
  author       = {Lorenz Halbeisen},
  title        = {A weird relation between two cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {593--599},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0594-z},
  doi          = {10.1007/S00153-017-0594-Z},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Halbeisen18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Harrison-Trainor18,
  author       = {Matthew Harrison{-}Trainor},
  title        = {Computable valued fields},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {473--495},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0589-9},
  doi          = {10.1007/S00153-017-0589-9},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Harrison-Trainor18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/IkegamiT18,
  author       = {Daisuke Ikegami and
                  Nam Trang},
  title        = {On a class of maximality principles},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {713--725},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0603-2},
  doi          = {10.1007/S00153-017-0603-2},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/IkegamiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/IshiharaMMS18,
  author       = {Hajime Ishihara and
                  Maria Emilia Maietti and
                  Samuele Maschio and
                  Thomas Streicher},
  title        = {Consistency of the intensional level of the Minimalist Foundation
                  with Church's thesis and axiom of choice},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {873--888},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0612-9},
  doi          = {10.1007/S00153-018-0612-9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/IshiharaMMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KanoveiL18,
  author       = {Vladimir Kanovei and
                  Vassily A. Lyubetsky},
  title        = {Countable {OD} sets of reals belong to the ground model},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {285--298},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0569-0},
  doi          = {10.1007/S00153-017-0569-0},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KanoveiL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kikyo18,
  author       = {Hirotaka Kikyo},
  title        = {Model completeness of generic graphs in rational cases},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {769--794},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0601-4},
  doi          = {10.1007/S00153-017-0601-4},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kikyo18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KnightS18,
  author       = {Julia F. Knight and
                  Vikram Saraph},
  title        = {Scott sentences for certain groups},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {453--472},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0578-z},
  doi          = {10.1007/S00153-017-0578-Z},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KnightS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kurahashi18,
  author       = {Taishi Kurahashi},
  title        = {On partial disjunction properties of theories containing Peano arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {953--980},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0618-3},
  doi          = {10.1007/S00153-018-0618-3},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kurahashi18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/LarsonS18,
  author       = {Paul B. Larson and
                  Saharon Shelah},
  title        = {A model of {\textdollar}{\textdollar}{\textbackslash}mathsf \{ZFA\}+
                  {\textbackslash}mathsf \{PAC\}{\textdollar}{\textdollar} {ZFA} + {PAC}
                  with no outer model of {\textdollar}{\textdollar}{\textbackslash}mathsf
                  \{ZFAC\}{\textdollar}{\textdollar} {ZFAC} with the same pure part},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {853--859},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0610-y},
  doi          = {10.1007/S00153-018-0610-Y},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/LarsonS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lawton18,
  author       = {Linda Lawton},
  title        = {Decidability of the AE-theory of the lattice of {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\)
                  classes},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {429--451},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0564-5},
  doi          = {10.1007/S00153-017-0564-5},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lawton18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Levine18,
  author       = {Maxwell Levine},
  title        = {Stationary sets added when forcing squares},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {909--916},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0613-8},
  doi          = {10.1007/S00153-018-0613-8},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Levine18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Macpherson18,
  author       = {Dugald Macpherson},
  title        = {Model theory of finite and pseudofinite groups},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {159--184},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0584-1},
  doi          = {10.1007/S00153-017-0584-1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Macpherson18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MartiM18,
  author       = {Michel Marti and
                  George Metcalfe},
  title        = {Expressivity in chain-based modal logics},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {361--380},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0573-4},
  doi          = {10.1007/S00153-017-0573-4},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MartiM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Mofidi18,
  author       = {Alireza Mofidi},
  title        = {On some dynamical aspects of {NIP} theories},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {37--71},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0580-5},
  doi          = {10.1007/S00153-017-0580-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Mofidi18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MycielskiT18,
  author       = {Jan Mycielski and
                  Grzegorz Tomkowicz},
  title        = {Shadows of the axiom of choice in the universe {L(R)}},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {607--616},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0596-x},
  doi          = {10.1007/S00153-017-0596-X},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MycielskiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pagnan18,
  author       = {Ruggero Pagnan},
  title        = {Splitting idempotents in a fibered setting},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {917--938},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0616-5},
  doi          = {10.1007/S00153-018-0616-5},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pagnan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pina18,
  author       = {Claribet Pi{\~{n}}a},
  title        = {A partition relation for pairs on {\textdollar}{\textdollar}{\textbackslash}omega
                  \{{\textbackslash}omega {\textbackslash}omega \}{\textdollar}{\textdollar}
                  {\(\omega\)}\({}^{\mbox{{\(\omega\)}\({}^{\mbox{{\(\omega\)}}}\)}}\)},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {727--753},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0604-1},
  doi          = {10.1007/S00153-017-0604-1},
  timestamp    = {Wed, 05 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pina18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/PinedoU18,
  author       = {Hector Pinedo and
                  Carlos Uzc{\'{a}}tegui},
  title        = {Borel globalizations of partial actions of Polish groups},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {617--627},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0598-8},
  doi          = {10.1007/S00153-017-0598-8},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/PinedoU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Point18,
  author       = {Fran{\c{c}}oise Point},
  title        = {Definability of types and {VC} density in differential topological
                  fields},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {809--828},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0607-y},
  doi          = {10.1007/S00153-017-0607-Y},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Point18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sakai18,
  author       = {Hiroshi Sakai},
  title        = {On Kat{\v{e}}tov and Kat{\v{e}}tov-Blass orders on analytic P-ideals
                  and Borel ideals},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {317--327},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0572-5},
  doi          = {10.1007/S00153-017-0572-5},
  timestamp    = {Wed, 04 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sakai18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schindler18,
  author       = {Ralf Schindler},
  title        = {The long extender algebra},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {73--82},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0585-0},
  doi          = {10.1007/S00153-017-0585-0},
  timestamp    = {Thu, 25 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Schindler18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schlicht18,
  author       = {Philipp Schlicht},
  title        = {Continuous reducibility and dimension of metric spaces},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {329--359},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0571-6},
  doi          = {10.1007/S00153-017-0571-6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schlicht18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Scowcroft18,
  author       = {Philip Scowcroft},
  title        = {l-Groups {C(X)} in continuous logic},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {239--272},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0566-3},
  doi          = {10.1007/S00153-017-0566-3},
  timestamp    = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Scowcroft18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Tachtsis18,
  author       = {Eleftherios Tachtsis},
  title        = {On the minimal cover property and certain notions of finite},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {665--686},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0595-y},
  doi          = {10.1007/S00153-017-0595-Y},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Tachtsis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Thomas18,
  author       = {Simon Thomas},
  title        = {Complete groups are complete co-analytic},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {601--606},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0597-9},
  doi          = {10.1007/S00153-017-0597-9},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Thomas18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Todorcevic18,
  author       = {Stevo Todorcevic},
  title        = {Collapsing {\textdollar}{\textdollar}{\textbackslash}omega {\_}2{\textdollar}{\textdollar}
                  {\(\omega\)} 2 with semi-proper forcing},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {1-2},
  pages        = {185--194},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0588-x},
  doi          = {10.1007/S00153-017-0588-X},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Todorcevic18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Towsner18,
  author       = {Henry Towsner},
  title        = {Epsilon substitution for ID\({}_{\mbox{1}}\) via cut-elimination},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {5-6},
  pages        = {497--531},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0590-3},
  doi          = {10.1007/S00153-017-0590-3},
  timestamp    = {Wed, 18 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Towsner18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Vasey18,
  author       = {Sebastien Vasey},
  title        = {Quasiminimal abstract elementary classes},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {3-4},
  pages        = {299--315},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-017-0570-7},
  doi          = {10.1007/S00153-017-0570-7},
  timestamp    = {Wed, 04 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Vasey18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Zheng18,
  author       = {Yuan Yuan Zheng},
  title        = {A collection of topological Ramsey spaces of trees and their application
                  to profinite graph theory},
  journal      = {Arch. Math. Log.},
  volume       = {57},
  number       = {7-8},
  pages        = {939--952},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00153-018-0617-4},
  doi          = {10.1007/S00153-018-0617-4},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Zheng18.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.