Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal175.bht:"
@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} }
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.