Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/aml/aml61.bht:"
download as .bib file
@article{DBLP:journals/aml/AlexandruC22,
author = {Andrei Alexandru and
Gabriel Ciobanu},
title = {Various forms of infinity for finitely supported structures},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {173--222},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00787-2},
doi = {10.1007/S00153-021-00787-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AlexandruC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AlminanaP22,
author = {Federico Almi{\~{n}}ana and
Gustavo Pelaitay},
title = {Monadic k{\(^\times\)} j-rough Heyting algebras},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {611--625},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00802-6},
doi = {10.1007/S00153-021-00802-6},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AlminanaP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BaldwinS22,
author = {John T. Baldwin and
Saharon Shelah},
title = {Hanf numbers for extendibility and related phenomena},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {437--464},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00796-1},
doi = {10.1007/S00153-021-00796-1},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BaldwinS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BerensteinV22,
author = {Alexander Berenstein and
Evgueni Vassiliev},
title = {Definable groups in dense pairs of geometric structures},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {345--372},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00793-4},
doi = {10.1007/S00153-021-00793-4},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BerensteinV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BraunfeldL22,
author = {Samuel Braunfeld and
Michael C. Laskowski},
title = {Mutual algebraicity and cellularity},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {841--857},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00804-4},
doi = {10.1007/S00153-021-00804-4},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BraunfeldL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BrianDS22,
author = {Will Brian and
Alan Dow and
Saharon Shelah},
title = {The independence of {GCH} and a combinatorial principle related to
Banach-Mazur games},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {1--17},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00770-x},
doi = {10.1007/S00153-021-00770-X},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BrianDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CardonaMR22,
author = {Miguel A. Cardona and
Diego Alejandro Mej{\'{\i}}a and
Ismael E. Rivera{-}Madrid},
title = {The covering number of the strong measure zero ideal can be above
almost everything else},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {599--610},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00808-0},
doi = {10.1007/S00153-021-00808-0},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CardonaMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CarlucciT22,
author = {Lorenzo Carlucci and
Daniele Tavernelli},
title = {Hindman's theorem for sums along the full binary tree, {\(\Sigma\)}
\({}^{\mbox{0\({}_{\mbox{2}}\)}}\)-induction and the Pigeonhole principle
for trees},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {827--839},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00814-2},
doi = {10.1007/S00153-021-00814-2},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CarlucciT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CarreiroFVZ22,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {Model theory of monadic predicate logic with the infinity quantifier},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {465--502},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00797-0},
doi = {10.1007/S00153-021-00797-0},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CarreiroFVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CastiglioniCM22,
author = {Jos{\'{e}} L. Castiglioni and
Sergio A. Celani and
Hern{\'{a}}n Javier San Mart{\'{\i}}n},
title = {On Hilbert algebras generated by the order},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {155--172},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00777-4},
doi = {10.1007/S00153-021-00777-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/CastiglioniCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ChitaiaO22,
author = {Irakli O. Chitaia and
Roland Sh. Omanadze},
title = {Degree structures of conjunctive reducibility},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {19--31},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00774-7},
doi = {10.1007/S00153-021-00774-7},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ChitaiaO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DobrinenF22,
author = {Natasha Dobrinen and
Sonia Navarro Flores},
title = {Ramsey degrees of ultrafilters, pseudointersection numbers, and the
tools of topological Ramsey spaces},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {1053--1090},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00823-9},
doi = {10.1007/S00153-022-00823-9},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/DobrinenF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Drucker22,
author = {Ohad Drucker},
title = {A boundedness principle for the Hjorth rank},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {223--232},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00788-1},
doi = {10.1007/S00153-021-00788-1},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Drucker22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DudaI22,
author = {Karol Duda and
Aleksander Ivanov},
title = {On decidability of amenability in computable groups},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {891--902},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00819-5},
doi = {10.1007/S00153-022-00819-5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/DudaI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Eisworth22,
author = {Todd Eisworth},
title = {Representability and compactness for pseudopowers},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {55--80},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00780-9},
doi = {10.1007/S00153-021-00780-9},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Eisworth22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Enayat22,
author = {Ali Enayat},
title = {Condensable models of set theory},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {299--315},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00786-3},
doi = {10.1007/S00153-021-00786-3},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Enayat22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Fujiwara22,
author = {Makoto Fujiwara},
title = {{\(\Delta\)} \({}^{\mbox{0}}\)\({}_{\mbox{1}}\) variants of the law
of excluded middle and related principles},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {1113--1127},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00827-5},
doi = {10.1007/S00153-022-00827-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Fujiwara22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Gitik22,
author = {Moti Gitik},
title = {Reflection and not {SCH} with overlapping extenders},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {591--597},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00805-3},
doi = {10.1007/S00153-021-00805-3},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Gitik22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Gonzalez22,
author = {Luciano J. Gonz{\'{a}}lez},
title = {An alternative proof of the Hilbert-style axiomatization for the {\textdollar}{\textbackslash}\{{\textbackslash}wedge
, {\textbackslash}vee {\textbackslash}\}{\textdollar}-fragment of
classical propositional logic},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {859--865},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00815-9},
doi = {10.1007/S00153-022-00815-9},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Gonzalez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HarizanovLMMS22,
author = {Valentina S. Harizanov and
Steffen Lempp and
Charles F. D. McCoy and
Andrei S. Morozov and
Reed Solomon},
title = {On the isomorphism problem for some classes of computable algebraic
structures},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {813--825},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00811-5},
doi = {10.1007/S00153-021-00811-5},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HarizanovLMMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HeWY22,
author = {Pengfei He and
Juntao Wang and
Jiang Yang},
title = {The existence of states based on Glivenko semihoops},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {1145--1170},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00830-w},
doi = {10.1007/S00153-022-00830-W},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HeWY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HonzikS22,
author = {Radek Honzik and
S{\'{a}}rka Stejskalov{\'{a}}},
title = {Small {\textdollar}{\textbackslash}mathfrak \{u\}({\textbackslash}kappa
){\textdollar} at singular {\(\kappa\)} with compactness at {\(\kappa\)}
\({}^{\mbox{++}}\)},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {33--54},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00776-5},
doi = {10.1007/S00153-021-00776-5},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HonzikS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jerabek22,
author = {Emil Jer{\'{a}}bek},
title = {Iterated multiplication in {VTC} \({}^{\mbox{0}}\)},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {705--767},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00810-6},
doi = {10.1007/S00153-021-00810-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jerabek22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Johnson22,
author = {Will Johnson},
title = {A criterion for uniform finiteness in the imaginary sorts},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {583--589},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00803-5},
doi = {10.1007/S00153-021-00803-5},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Johnson22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kellerman22,
author = {Ruaan Kellerman},
title = {First-order theories of bounded trees},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {263--297},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00789-0},
doi = {10.1007/S00153-021-00789-0},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kellerman22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Khanaki22,
author = {Karim Khanaki},
title = {Dividing lines in unstable theories and subclasses of Baire 1 functions},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {977--993},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00816-8},
doi = {10.1007/S00153-022-00816-8},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Khanaki22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KlausnerM22,
author = {Lukas Daniel Klausner and
Diego Alejandro Mej{\'{\i}}a},
title = {Many different uniformity numbers of Yorioka ideals},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {653--683},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00809-z},
doi = {10.1007/S00153-021-00809-Z},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KlausnerM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Komara22,
author = {J{\'{a}}n Komara},
title = {Efficient elimination of Skolem functions in {LK} h},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {503--534},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00798-z},
doi = {10.1007/S00153-021-00798-Z},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Komara22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kurbis22,
author = {Nils K{\"{u}}rbis},
title = {Normalisation and subformula property for a system of classical logic
with Tarski's rule},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {105--129},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00775-6},
doi = {10.1007/S00153-021-00775-6},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kurbis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KurilicK22,
author = {Milos S. Kurilic and
Borisa Kuzeljevic},
title = {Antichains of copies of ultrahomogeneous structures},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {867--879},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00817-7},
doi = {10.1007/S00153-022-00817-7},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KurilicK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kuroda22,
author = {Satoru Kuroda},
title = {Sprague-Grundy theory in bounded arithmetic},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {233--262},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00790-7},
doi = {10.1007/S00153-021-00790-7},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kuroda22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kwela22,
author = {Adam Kwela},
title = {On extendability to F\({}_{\mbox{{\(\sigma\)}}}\) ideals},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {881--890},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00822-w},
doi = {10.1007/S00153-022-00822-W},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Kwela22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/LagoKO22,
author = {Ugo Dal Lago and
Reinhard Kahle and
Isabel Oitavem},
title = {Implicit recursion-theoretic characterizations of counting classes},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {1129--1144},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00828-4},
doi = {10.1007/S00153-022-00828-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/LagoKO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Malicki22,
author = {Maciej Malicki},
title = {Remarks on weak amalgamation and large conjugacy classes in non-archimedean
groups},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {685--704},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00807-1},
doi = {10.1007/S00153-021-00807-1},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Malicki22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Martin22,
author = {Eric Martin},
title = {Disjunctive logic programs, answer sets, and the cut rule},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {903--937},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00821-x},
doi = {10.1007/S00153-022-00821-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Martin22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MoconjaT22,
author = {Slavko Moconja and
Predrag Tanovic},
title = {Does weak quasi-o-minimality behave better than weak o-minimality?},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {81--103},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00778-3},
doi = {10.1007/S00153-021-00778-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MoconjaT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Murwanashyaka22,
author = {Juvenal Murwanashyaka},
title = {Weak essentially undecidable theories of concatenation},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {939--976},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00820-y},
doi = {10.1007/S00153-022-00820-Y},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Murwanashyaka22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Petersen22,
author = {Uwe Petersen},
title = {Enhancing induction in a contraction free logic with unrestricted
abstraction: from {\textdollar}{\textbackslash}mathbf \{Z\}{\textdollar}
to {\textdollar}{\textbackslash}mathbf \{Z\}{\_}2{\textdollar}},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {1007--1051},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00824-8},
doi = {10.1007/S00153-022-00824-8},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Petersen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Pulcini22,
author = {Gabriele Pulcini},
title = {A note on cut-elimination for classical propositional logic},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {555--565},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00800-8},
doi = {10.1007/S00153-021-00800-8},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Pulcini22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Repicky22,
author = {Miroslav Repick{\'{y}}},
title = {Rosenthal families, filters, and semifilters},
journal = {Arch. Math. Log.},
volume = {61},
number = {1-2},
pages = {131--153},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00779-2},
doi = {10.1007/S00153-021-00779-2},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Repicky22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/RepovsZ22,
author = {Dusan Repovs and
Lyubomyr Zdomskyy},
title = {On well-splitting posets},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {995--1005},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00818-6},
doi = {10.1007/S00153-022-00818-6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/RepovsZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Sato22,
author = {Kentaro Sato},
title = {Bounded inductive dichotomy: separation of open and clopen determinacies
with finite alternatives in constructive contexts},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {399--435},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00795-2},
doi = {10.1007/S00153-021-00795-2},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Sato22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Schilhan22,
author = {Jonathan Schilhan},
title = {Coanalytic ultrafilter bases},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {567--581},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00801-7},
doi = {10.1007/S00153-021-00801-7},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Schilhan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Shramko22,
author = {Yaroslav Shramko},
title = {Between Hilbert and Gentzen: four-valued consequence systems and structural
reasoning},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {627--651},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00806-2},
doi = {10.1007/S00153-021-00806-2},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Shramko22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Smythe22,
author = {Iian B. Smythe},
title = {Equivalence of generics},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {795--812},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00813-3},
doi = {10.1007/S00153-021-00813-3},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Smythe22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Sobot22,
author = {Boris Sobot},
title = {Multiplicative finite embeddability vs divisibility of ultrafilters},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {535--553},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00799-y},
doi = {10.1007/S00153-021-00799-Y},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Sobot22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Stahl22,
author = {Rachel D. Stahl},
title = {Computability and the game of cops and robbers on graphs},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {373--397},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00794-3},
doi = {10.1007/S00153-021-00794-3},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Stahl22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Stirton22,
author = {William R. Stirton},
title = {Combinatory logic with polymorphic types},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {317--343},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00792-5},
doi = {10.1007/S00153-021-00792-5},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Stirton22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Switzer22,
author = {Corey Bacal Switzer},
title = {Destructibility and axiomatizability of Kaufmann models},
journal = {Arch. Math. Log.},
volume = {61},
number = {7-8},
pages = {1091--1111},
year = {2022},
url = {https://doi.org/10.1007/s00153-022-00826-6},
doi = {10.1007/S00153-022-00826-6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Switzer22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Wu22,
author = {Huishan Wu},
title = {Reverse mathematics and semisimple rings},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {769--793},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00812-4},
doi = {10.1007/S00153-021-00812-4},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Wu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-08-02 23:39 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
