Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/aml/Apter24,
  author       = {Arthur W. Apter},
  title        = {Indestructibility and the linearity of the Mitchell ordering},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {473--482},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-024-00908-7},
  doi          = {10.1007/S00153-024-00908-7},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Apter24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BadaevBKM24,
  author       = {Serikzhan A. Badaev and
                  Nikolay A. Bazhenov and
                  Birzhan S. Kalmurzayev and
                  Manat Mustafa},
  title        = {On diagonal functions for equivalence relations},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {259--278},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00896-0},
  doi          = {10.1007/S00153-023-00896-0},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BadaevBKM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BenNeria24,
  author       = {Omer Ben{-}Neria},
  title        = {A Mathias criterion for the Magidor iteration of Prikry forcings},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {119--134},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00887-1},
  doi          = {10.1007/S00153-023-00887-1},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BenNeria24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BerarducciMM24,
  author       = {Alessandro Berarducci and
                  Marcello Mamino and
                  Rosario Mennuni},
  title        = {Vector spaces with a union of independent subspaces},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {499--507},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-024-00906-9},
  doi          = {10.1007/S00153-024-00906-9},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BerarducciMM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BerosL24,
  author       = {Konstantinos A. Beros and
                  Paul B. Larson},
  title        = {Maximal Tukey types, P-ideals and the weak Rudin-Keisler order},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {325--352},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00897-z},
  doi          = {10.1007/S00153-023-00897-Z},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BerosL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Boxall24,
  author       = {Gareth Boxall},
  title        = {Superrosiness and dense pairs of geometric structures},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {203--209},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00890-6},
  doi          = {10.1007/S00153-023-00890-6},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Boxall24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CarlucciM24,
  author       = {Lorenzo Carlucci and
                  Leonardo Mainardi},
  title        = {Regressive versions of Hindman's theorem},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {447--472},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00901-6},
  doi          = {10.1007/S00153-023-00901-6},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CarlucciM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CordonFrancoM24,
  author       = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
                  Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
  title        = {Semi-honest subrecursive degrees and the collection rule in arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {163--180},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00889-z},
  doi          = {10.1007/S00153-023-00889-Z},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CordonFrancoM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/FujiwaraK24,
  author       = {Makoto Fujiwara and
                  Taishi Kurahashi},
  title        = {Prenex normalization and the hierarchical classification of formulas},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {391--403},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00899-x},
  doi          = {10.1007/S00153-023-00899-X},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/FujiwaraK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/IljazovicJ24,
  author       = {Zvonko Iljazovic and
                  Matea Jelic},
  title        = {Computable approximations of a chainable continuum with a computable
                  endpoint},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {181--201},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00891-5},
  doi          = {10.1007/S00153-023-00891-5},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/IljazovicJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Ishii24,
  author       = {Katsumasa Ishii},
  title        = {On Harrop disjunction property in intermediate predicate logics},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {317--324},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00895-1},
  doi          = {10.1007/S00153-023-00895-1},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Ishii24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/IwataKO24,
  author       = {Sohei Iwata and
                  Taishi Kurahashi and
                  Yuya Okawa},
  title        = {The fixed point and the Craig interpolation properties for sublogics
                  of bfIL},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {1--37},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00882-6},
  doi          = {10.1007/S00153-023-00882-6},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/IwataKO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/LiR24,
  author       = {Mingyang Li and
                  Jan Reimann},
  title        = {Turing degrees and randomness for continuous measures},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {39--59},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00873-7},
  doi          = {10.1007/S00153-023-00873-7},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/LiR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Maffezioli24,
  author       = {Paolo Maffezioli},
  title        = {Cut elimination for coherent theories in negation normal form},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {427--445},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00902-5},
  doi          = {10.1007/S00153-023-00902-5},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Maffezioli24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MiyamotoM24,
  author       = {Kenji Miyamoto and
                  Georg Moser},
  title        = {Herbrand complexity and the epsilon calculus with equality},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {89--118},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00877-3},
  doi          = {10.1007/S00153-023-00877-3},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MiyamotoM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Murwanashyaka24,
  author       = {Juvenal Murwanashyaka},
  title        = {Weak essentially undecidable theories of concatenation, part {II}},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {353--390},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00898-y},
  doi          = {10.1007/S00153-023-00898-Y},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Murwanashyaka24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/OlssonL24,
  author       = {Mattias Granberg Olsson and
                  Graham E. Leigh},
  title        = {Revisiting the conservativity of fixpoints over intuitionistic arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {61--87},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00878-2},
  doi          = {10.1007/S00153-023-00878-2},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/OlssonL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pulcini24,
  author       = {Gabriele Pulcini},
  title        = {Cut elimination by unthreading},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {211--223},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00892-4},
  doi          = {10.1007/S00153-023-00892-4},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pulcini24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Rojas24,
  author       = {Diego A. Rojas},
  title        = {Effective weak and vague convergence of measures on the real line},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {225--238},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00886-2},
  doi          = {10.1007/S00153-023-00886-2},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Rojas24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sfouli24,
  author       = {Hassan Sfouli},
  title        = {Nondefinability results with entire functions of finite order in polynomially
                  bounded o-minimal structures},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {491--498},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-024-00904-x},
  doi          = {10.1007/S00153-024-00904-X},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sfouli24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/SobotaZ24,
  author       = {Damian Sobota and
                  Lyubomyr Zdomskyy},
  title        = {Convergence of measures after adding a real},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {135--162},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00888-0},
  doi          = {10.1007/S00153-023-00888-0},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/SobotaZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/TallZ24,
  author       = {Franklin D. Tall and
                  Jing Zhang},
  title        = {The second-order version of Morley's theorem on the number of countable
                  models does not require large cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {483--490},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-024-00907-8},
  doi          = {10.1007/S00153-024-00907-8},
  timestamp    = {Thu, 18 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/TallZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Touchard24,
  author       = {Pierre Touchard},
  title        = {Stably embedded submodels of Henselian valued fields},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {279--315},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00894-2},
  doi          = {10.1007/S00153-023-00894-2},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Touchard24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/WangL24,
  author       = {Longchun Wang and
                  Qingguo Li},
  title        = {L-domains as locally continuous sequent calculi},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {405--425},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00903-4},
  doi          = {10.1007/S00153-023-00903-4},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/WangL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Wcislo24,
  author       = {Bartosz Wcislo},
  title        = {Compositional truth with propositional tautologies and quantifier-free
                  correctness},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {1-2},
  pages        = {239--257},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-023-00893-3},
  doi          = {10.1007/S00153-023-00893-3},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Wcislo24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.