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/apal/apal175.bht:"
download as .bib file
@article{DBLP:journals/apal/AbdulQuaderL24,
author = {Athar Abdul{-}Quader and
Mateusz Lelyk},
title = {Pathologies in satisfaction classes},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {2},
pages = {103387},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103387},
doi = {10.1016/J.APAL.2023.103387},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AbdulQuaderL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbramskyR24,
author = {Samson Abramsky and
Luca Reggio},
title = {Arboreal categories and equi-resource homomorphism preservation theorems},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {6},
pages = {103423},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103423},
doi = {10.1016/J.APAL.2024.103423},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AbramskyR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AdolfB24,
author = {Dominik Adolf and
Omer Ben{-}Neria},
title = {Approachable free subsets and fine structure derived scales},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103428},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103428},
doi = {10.1016/J.APAL.2024.103428},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AdolfB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AglianoU24,
author = {Paolo Aglian{\`{o}} and
Sara Ugolini},
title = {Structural and universal completeness in algebra and logic},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {3},
pages = {103391},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103391},
doi = {10.1016/J.APAL.2023.103391},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AglianoU24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AhnK24,
author = {JinHoo Ahn and
Joonhee Kim},
title = {SOP1, SOP2, and antichain tree property},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {3},
pages = {103402},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103402},
doi = {10.1016/J.APAL.2023.103402},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AhnK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Bagaria24,
author = {Joan Bagaria},
title = {The relative strengths of fragments of Martin's axiom},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103330},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103330},
doi = {10.1016/J.APAL.2023.103330},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Bagaria24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Bagheri24,
author = {Seyed Mohammad Bagheri},
title = {Extreme types and extremal models},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103451},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103451},
doi = {10.1016/J.APAL.2024.103451},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Bagheri24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BaldwinV24,
author = {John T. Baldwin and
Viktor Verbovskiy},
title = {Towards a finer classification of strongly minimal sets},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {2},
pages = {103376},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103376},
doi = {10.1016/J.APAL.2023.103376},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BaldwinV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BartosovaDPS24,
author = {Dana Bartosov{\'{a}} and
Mirna Dzamonja and
Rehana Patel and
Lynn Scow},
title = {Big Ramsey degrees in ultraproducts of finite structures},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103439},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103439},
doi = {10.1016/J.APAL.2024.103439},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BartosovaDPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BazhenovFLM24,
author = {Nikolay Bazhenov and
Marta Fiori{-}Carones and
Lu Liu and
Alexander G. Melnikov},
title = {Primitive recursive reverse mathematics},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103354},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103354},
doi = {10.1016/J.APAL.2023.103354},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BazhenovFLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BerardinisG24,
author = {Matteo De Berardinis and
Silvio Ghilardi},
title = {Profiniteness, monadicity and universal models in modal logic},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103454},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103454},
doi = {10.1016/J.APAL.2024.103454},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BerardinisG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BerensteindV24,
author = {Alexander Berenstein and
Christian d'Elb{\'{e}}e and
Evgueni Vassiliev},
title = {Vector spaces with a dense-codense generic submodule},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103442},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103442},
doi = {10.1016/J.APAL.2024.103442},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BerensteindV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BezhanishviliDGM24,
author = {Nick Bezhanishvili and
Anna Dmitrieva and
Jim de Groot and
Tommaso Moraschini},
title = {Positive modal logic beyond distributivity},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {2},
pages = {103374},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103374},
doi = {10.1016/J.APAL.2023.103374},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BezhanishviliDGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BufetovNP24,
author = {Alexander I. Bufetov and
Gabriel Nivasch and
Fedor Pakhomov},
title = {Generalized fusible numbers and their ordinals},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103355},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103355},
doi = {10.1016/J.APAL.2023.103355},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BufetovNP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BuhagiarD24,
author = {David Buhagiar and
Mirna Dzamonja},
title = {On middle box products and paracompact cardinals},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103332},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103332},
doi = {10.1016/J.APAL.2023.103332},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BuhagiarD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CardonaKM24,
author = {Miguel A. Cardona and
Lukas Daniel Klausner and
Diego Alejandro Mej{\'{\i}}a},
title = {Continuum many different things: Localisation, anti-localisation and
Yorioka ideals},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103453},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103453},
doi = {10.1016/J.APAL.2024.103453},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/CardonaKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChodounskyGH24,
author = {David Chodounsk{\'{y}} and
Osvaldo Guzm{\'{a}}n and
Michael Hrus{\'{a}}k},
title = {{HL} ideals and Sacks indestructible ultrafilters},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103326},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103326},
doi = {10.1016/J.APAL.2023.103326},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ChodounskyGH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DelonM24,
author = {Fran{\c{c}}oise Delon and
Marie{-}H{\'{e}}l{\`{e}}ne Mourgues},
title = {Classification of {\(\aleph\)}0-categorical C-minimal pure C-sets},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {2},
pages = {103375},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103375},
doi = {10.1016/J.APAL.2023.103375},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DelonM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Dow24,
author = {Alan Dow},
title = {Laver forcing and converging sequences},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103247},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103247},
doi = {10.1016/J.APAL.2023.103247},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Dow24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Eskew24,
author = {Monroe Eskew},
title = {Weak saturation properties and side conditions},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103356},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103356},
doi = {10.1016/J.APAL.2023.103356},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Eskew24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EskewFHS24,
author = {Monroe Eskew and
Sy{-}David Friedman and
Yair Hayut and
Farmer Schlutzenberg},
title = {Mutually embeddable models of {ZFC}},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103325},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103325},
doi = {10.1016/J.APAL.2023.103325},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/EskewFHS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FussnerG24,
author = {Wesley Fussner and
Nikolaos Galatos},
title = {Semiconic idempotent logic {I:} Structure and local deduction theorems},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103443},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103443},
doi = {10.1016/J.APAL.2024.103443},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/FussnerG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Goldberg24,
author = {Gabriel Goldberg},
title = {Measurable cardinals and choiceless axioms},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103323},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103323},
doi = {10.1016/J.APAL.2023.103323},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Goldberg24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GoolM24,
author = {Sam van Gool and
J{\'{e}}r{\'{e}}mie Marqu{\`{e}}s},
title = {On duality and model theory for polyadic spaces},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {2},
pages = {103388},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103388},
doi = {10.1016/J.APAL.2023.103388},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GoolM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GorbunovS24,
author = {Igor Gorbunov and
Dmitry Shkatov},
title = {Extensions of Solovay's system {S} without independent sets of axioms},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103360},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103360},
doi = {10.1016/J.APAL.2023.103360},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GorbunovS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GuntherPTS24,
author = {Emmanuel Gunther and
Miguel Pagano and
Pedro S{\'{a}}nchez Terraf and
Mat{\'{\i}}as Steinberg},
title = {The formal verification of the ctm approach to forcing},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {5},
pages = {103413},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103413},
doi = {10.1016/J.APAL.2024.103413},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GuntherPTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HernandezHernandezL24,
author = {Fernando Hern{\'{a}}ndez{-}Hern{\'{a}}ndez and
Carlos L{\'{o}}pez{-}Callejas},
title = {Generalized independence},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103440},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103440},
doi = {10.1016/J.APAL.2024.103440},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HernandezHernandezL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HonzikLS24,
author = {Radek Honzik and
Chris Lambie{-}Hanson and
S{\'{a}}rka Stejskalov{\'{a}}},
title = {Indestructibility of some compactness principles over models of {PFA}},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103359},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103359},
doi = {10.1016/J.APAL.2023.103359},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HonzikLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HorowitzS24,
author = {Haim Horowitz and
Saharon Shelah},
title = {A Borel maximal eventually different family},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103334},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103334},
doi = {10.1016/J.APAL.2023.103334},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HorowitzS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/JagerR24,
author = {Gerhard J{\"{a}}ger and
Michael Rathjen},
title = {Admissible extensions of subtheories of second order arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103425},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103425},
doi = {10.1016/J.APAL.2024.103425},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/JagerR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kanamori24,
author = {Akihiro Kanamori},
title = {Kunen the expositor},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103319},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103319},
doi = {10.1016/J.APAL.2023.103319},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Kanamori24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KanoveiL24,
author = {Vladimir Kanovei and
Vassily A. Lyubetsky},
title = {A good lightface {\(\Delta\)}n1 well-ordering of the reals does not
imply the existence of boldface {\(\Delta\)}n-11 well-orderings},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {6},
pages = {103426},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103426},
doi = {10.1016/J.APAL.2024.103426},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KanoveiL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Keisler24,
author = {H. Jerome Keisler},
title = {Using ultrapowers to compare continuous structures},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103284},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103284},
doi = {10.1016/J.APAL.2023.103284},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Keisler24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ko24,
author = {Liling Ko},
title = {Towards characterizing the {\textgreater}{\(\omega\)}2-fickle recursively
enumerable Turing degrees},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {4},
pages = {103403},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103403},
doi = {10.1016/J.APAL.2023.103403},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Ko24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kurilic24,
author = {Milos S. Kurilic},
title = {Sharp Vaught's conjecture for some classes of partial orders},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {4},
pages = {103411},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103411},
doi = {10.1016/J.APAL.2024.103411},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Kurilic24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MalliarisS24,
author = {M. Malliaris and
Saharon Shelah},
title = {Some simple theories from a Boolean algebra point of view},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103345},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103345},
doi = {10.1016/J.APAL.2023.103345},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MalliarisS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MartinezTV24,
author = {Santiago Jockwich Martinez and
Sourav Tarafder and
Giorgio Venturi},
title = {{ZF} and its interpretations},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {6},
pages = {103427},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103427},
doi = {10.1016/J.APAL.2024.103427},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MartinezTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MaschioT24,
author = {Samuele Maschio and
Davide Trotta},
title = {On categorical structures arising from implicative algebras: From
topology to assemblies},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {3},
pages = {103390},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103390},
doi = {10.1016/J.APAL.2023.103390},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MaschioT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MatthewsR24,
author = {Richard Matthews and
Michael Rathjen},
title = {Constructing the constructible universe constructively},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {3},
pages = {103392},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103392},
doi = {10.1016/J.APAL.2023.103392},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MatthewsR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MediniV24,
author = {Andrea Medini and
Zolt{\'{a}}n Vidny{\'{a}}nszky},
title = {Zero-dimensional \emph{{\(\sigma\)}}-homogeneous spaces},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103331},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103331},
doi = {10.1016/J.APAL.2023.103331},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MediniV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Nguyen24,
author = {Dong Quan Ngoc Nguyen},
title = {Higher reciprocity law and an analogue of the Grunwald-Wang theorem
for the ring of polynomials over an ultra-finite field},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {6},
pages = {103438},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103438},
doi = {10.1016/J.APAL.2024.103438},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Nguyen24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NyikosZ24,
author = {Peter Nyikos and
Lyubomyr Zdomskyy},
title = {Locally compact, \emph{{\(\omega\)}}\({}_{\mbox{1}}\)-compact spaces},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103324},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103324},
doi = {10.1016/J.APAL.2023.103324},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/NyikosZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/PanagiotopoulosS24,
author = {Aristotelis Panagiotopoulos and
Assaf Shani},
title = {Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic
dimension},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {5},
pages = {103412},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103412},
doi = {10.1016/J.APAL.2024.103412},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/PanagiotopoulosS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Paolini24,
author = {Gianluca Paolini},
title = {Computable Scott sentences and the weak Whitehead problem for finitely
presented groups},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103441},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103441},
doi = {10.1016/J.APAL.2024.103441},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Paolini24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Paulson24,
author = {Lawrence C. Paulson},
title = {A formalised theorem in the partition calculus},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103246},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103246},
doi = {10.1016/J.APAL.2023.103246},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Paulson24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Raghavan24,
author = {Dilip Raghavan},
title = {Editorial},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103343},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103343},
doi = {10.1016/J.APAL.2023.103343},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Raghavan24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/RamandiT24,
author = {Hossein Lamei Ramandi and
Stevo Todorcevic},
title = {Can you take Komjath's inaccessible away?},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103452},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103452},
doi = {10.1016/J.APAL.2024.103452},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/RamandiT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sato24,
author = {Kentaro Sato},
title = {A new model construction by making a detour via intuitionistic theories
{IV:} {A} closer connection between KP{\(\omega\)} and {BI}},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {7},
pages = {103422},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103422},
doi = {10.1016/J.APAL.2024.103422},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Sato24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Shahryari24,
author = {Mohammad Shahryari},
title = {On the geometric equivalence of algebras},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {2},
pages = {103386},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103386},
doi = {10.1016/J.APAL.2023.103386},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Shahryari24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ShelahS24,
author = {Saharon Shelah and
Juris Steprans},
title = {Some variations on the splitting number},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103321},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103321},
doi = {10.1016/J.APAL.2023.103321},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ShelahS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Siqueira24,
author = {Jos{\'{e}} Siqueira},
title = {Nonstandard proof methods in toposes},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {5},
pages = {103424},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103424},
doi = {10.1016/J.APAL.2024.103424},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Siqueira24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Steel24,
author = {John R. Steel},
title = {The comparison lemma},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103329},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103329},
doi = {10.1016/J.APAL.2023.103329},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Steel24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SuarezV24,
author = {Juan M. Santiago Su{\'{a}}rez and
Matteo Viale},
title = {Boolean valued semantics for infinitary logics},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103333},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103333},
doi = {10.1016/J.APAL.2023.103333},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/SuarezV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Todorcevic24,
author = {Stevo Todorcevic},
title = {Dense metrizability},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103327},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103327},
doi = {10.1016/J.APAL.2023.103327},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Todorcevic24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WeissZ24,
author = {Tomasz Weiss and
Piotr Zakrzewski},
title = {On countably perfectly meager and countably perfectly null sets},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103357},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103357},
doi = {10.1016/J.APAL.2023.103357},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/WeissZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Woodin24,
author = {W. Hugh Woodin},
title = {Large cardinals at the brink},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103328},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103328},
doi = {10.1016/J.APAL.2023.103328},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Woodin24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Yaar24,
author = {Ur Ya'ar},
title = {Absoluteness for the theory of the inner model constructed from finitely
many cofinality quantifiers},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {A}},
pages = {103358},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103358},
doi = {10.1016/J.APAL.2023.103358},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Yaar24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Yorioka24,
author = {Teruyuki Yorioka},
title = {Two chain conditions and their Todor{\v{c}}evi{\'{c}}'s fragments
of Martin's Axiom},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103320},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103320},
doi = {10.1016/J.APAL.2023.103320},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Yorioka24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Zapletal24,
author = {Jindrich Zapletal},
title = {Subadditive families of hypergraphs},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {Issue 1, Part {B}},
pages = {103322},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2023.103322},
doi = {10.1016/J.APAL.2023.103322},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Zapletal24.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-06-13 16:23 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:
