default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/apal/apal169.bht:"
download as .bib file
@article{DBLP:journals/apal/AlibekBKZ18,
author = {A. Alibek and
Bektur Sembiuly Baizhanov and
Beibut Sh. Kulpeshov and
T. S. Zambarnaya},
title = {Vaught's conjecture for weakly o-minimal theories of convexity rank
1},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {11},
pages = {1190--1209},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.06.003},
doi = {10.1016/J.APAL.2018.06.003},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AlibekBKZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AndrewsS18,
author = {Uri Andrews and
Andrea Sorbi},
title = {Jumps of computably enumerable equivalence relations},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {3},
pages = {243--259},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.001},
doi = {10.1016/J.APAL.2017.12.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AndrewsS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AnscombeJ18,
author = {Sylvy Anscombe and
Franziska Jahnke},
title = {Henselianity in the language of rings},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {9},
pages = {872--895},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.008},
doi = {10.1016/J.APAL.2018.04.008},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AnscombeJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Arai18,
author = {Toshiyasu Arai},
title = {Cut-elimination for \emph{{\(\omega\)}}\({}_{\mbox{1}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1246--1269},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.001},
doi = {10.1016/J.APAL.2018.08.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Arai18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArdeshirM18,
author = {Mohammad Ardeshir and
S. Mojtaba Mojtahedi},
title = {The {\(\Sigma\)}\({}_{\mbox{1}}\)-provability logic of {HA}},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {10},
pages = {997--1043},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.05.001},
doi = {10.1016/J.APAL.2018.05.001},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ArdeshirM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Awodey18,
author = {Steve Awodey},
title = {A cubical model of homotopy type theory},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1270--1294},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.002},
doi = {10.1016/J.APAL.2018.08.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Awodey18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Axon18,
author = {Logan M. Axon},
title = {Martin-L{\"{o}}f random generalized Poisson processes},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {4},
pages = {261--276},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.003},
doi = {10.1016/J.APAL.2017.12.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Axon18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BahramiE18,
author = {Saeideh Bahrami and
Ali Enayat},
title = {Elementary equivalence of rings with finitely generated additive groups},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {6},
pages = {487--513},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.01.004},
doi = {10.1016/J.APAL.2018.01.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BahramiE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BanerjeeK18,
author = {Amitayu Banerjee and
Mohamed Khaled},
title = {First order logic without equality on relativized semantics},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {11},
pages = {1227--1242},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.07.002},
doi = {10.1016/J.APAL.2018.07.002},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BanerjeeK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BekeR18,
author = {Tibor Beke and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Elementary equivalences and accessible functors},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {7},
pages = {674--703},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.03.004},
doi = {10.1016/J.APAL.2018.03.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BekeR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BezhanishviliMM18,
author = {Nick Bezhanishvili and
Vincenzo Marra and
Daniel McNeill and
Andrea Pedrini},
title = {Tarski's theorem on intuitionistic logic, for polyhedra},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {5},
pages = {ii},
year = {2018},
url = {https://doi.org/10.1016/S0168-0072(18)30024-1},
doi = {10.1016/S0168-0072(18)30024-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BezhanishviliMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BlockL18,
author = {Alexander C. Block and
Benedikt L{\"{o}}we},
title = {A multiplication operation for the hierarchy of norms},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {7},
pages = {656--673},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.03.003},
doi = {10.1016/J.APAL.2018.03.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BlockL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrandenburgerK18,
author = {Adam Brandenburger and
H. Jerome Keisler},
title = {A canonical hidden-variable space},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1295--1302},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.003},
doi = {10.1016/J.APAL.2018.08.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrandenburgerK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CarlSW18,
author = {Merlin Carl and
Philipp Schlicht and
Philip D. Welch},
title = {Recognizable sets and Woodin cardinals: computation beyond the constructible
universe},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {4},
pages = {312--332},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.007},
doi = {10.1016/J.APAL.2017.12.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/CarlSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DaveyPW18,
author = {Brian A. Davey and
Jane G. Pitkethly and
Ross Willard},
title = {New-from-old full dualities via axiomatisation},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {7},
pages = {588--615},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.02.005},
doi = {10.1016/J.APAL.2018.02.005},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DaveyPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DinisG18,
author = {Bruno Dinis and
Jaime Gaspar},
title = {Intuitionistic nonstandard bounded modified realisability and functional
interpretation},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {5},
pages = {392--412},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.004},
doi = {10.1016/J.APAL.2017.12.004},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DinisG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyN18,
author = {Rod Downey and
Keng Meng Ng},
title = {Splitting into degrees with low computational strength},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {803--834},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.004},
doi = {10.1016/J.APAL.2018.04.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Egrot18,
author = {Rob Egrot},
title = {No finite axiomatizations for posets embeddable into distributive
lattices},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {3},
pages = {235--242},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.11.001},
doi = {10.1016/J.APAL.2017.11.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Egrot18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fernandez-Duque18,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {The omega-rule interpretation of transfinite provability logic},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {4},
pages = {333--371},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.006},
doi = {10.1016/J.APAL.2017.12.006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Fernandez-Duque18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ferreira18,
author = {Gilda Ferreira},
title = {Atomic polymorphism and the existence property},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1303--1316},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.004},
doi = {10.1016/J.APAL.2018.08.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ferreira18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhilardiG18,
author = {Silvio Ghilardi and
Alessandro Gianola},
title = {Modularity results for interpolation, amalgamation and superamalgamation},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {731--754},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.001},
doi = {10.1016/J.APAL.2018.04.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GhilardiG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ghorbani18,
author = {Shokoofeh Ghorbani},
title = {Logic for abstract hoop twist-structures},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {10},
pages = {981--996},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.05.002},
doi = {10.1016/J.APAL.2018.05.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ghorbani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GiraudetLL18,
author = {M. Giraudet and
G. Leloup and
F. Lucas},
title = {First order theory of cyclically ordered groups},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {9},
pages = {896--927},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.007},
doi = {10.1016/J.APAL.2018.04.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GiraudetLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GitmanS18,
author = {Victoria Gitman and
Ralf Schindler},
title = {Virtual large cardinals},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1317--1334},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.005},
doi = {10.1016/J.APAL.2018.08.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GitmanS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GivantA18,
author = {Steven Givant and
Hajnal Andr{\'{e}}ka},
title = {A representation theorem for measurable relation algebras},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {11},
pages = {1117--1189},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.06.002},
doi = {10.1016/J.APAL.2018.06.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GivantA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GolshaniM18,
author = {Mohammad Golshani and
Rahman Mohammadpour},
title = {The tree property at double successors of singular cardinals of uncountable
cofinality},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {2},
pages = {164--175},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.10.004},
doi = {10.1016/J.APAL.2017.10.004},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GolshaniM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Gregoriades18,
author = {Vassilios Gregoriades},
title = {The Dyck and the Preiss separation uniformly},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {10},
pages = {1082--1116},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.06.001},
doi = {10.1016/J.APAL.2018.06.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Gregoriades18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HaykazyanM18,
author = {Levon Haykazyan and
Rahim Moosa},
title = {Functoriality and uniformity in Hrushovski's groupoid-cover correspondence},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {705--730},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.03.005},
doi = {10.1016/J.APAL.2018.03.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HaykazyanM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HieronymiNW18,
author = {Philipp Hieronymi and
Travis Nell and
Erik Walsberg},
title = {Wild theories with o-minimal open core},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {2},
pages = {146--163},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.10.002},
doi = {10.1016/J.APAL.2017.10.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HieronymiNW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HirvonenSVW18,
author = {{\AA}sa Hirvonen and
Thomas Scanlon and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Dag Westerst{\aa}hl},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1243--1245},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.011},
doi = {10.1016/J.APAL.2018.08.011},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HirvonenSVW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HolyKS18,
author = {Peter Holy and
Regula Krapf and
Philipp Schlicht},
title = {Characterizations of pretameness and the Ord-cc},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {775--802},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.002},
doi = {10.1016/J.APAL.2018.04.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HolyKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HyttinenP18,
author = {Tapani Hyttinen and
Gianluca Paolini},
title = {Beyond abstract elementary classes: On the model theory of geometric
lattices},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {2},
pages = {117--145},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.10.003},
doi = {10.1016/J.APAL.2017.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HyttinenP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KanoveiL18,
author = {Vladimir Kanovei and
Vassily A. Lyubetsky},
title = {Definable {E0} classes at arbitrary projective levels},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {9},
pages = {851--871},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.006},
doi = {10.1016/J.APAL.2018.04.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KanoveiL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KharlampovichM18,
author = {Olga Kharlampovich and
Alexei G. Myasnikov},
title = {The tree property at the double successor of a singular cardinal with
a larger gap},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {6},
pages = {523--547},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.02.003},
doi = {10.1016/J.APAL.2018.02.003},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KharlampovichM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Koponen18,
author = {Vera Koponen},
title = {Binary simple homogeneous structures},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1335--1368},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.006},
doi = {10.1016/J.APAL.2018.08.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Koponen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KruckmanR18,
author = {Alex Kruckman and
Nicholas Ramsey},
title = {Generic expansion and Skolemization in NSOP\({}_{\mbox{1}}\) theories},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {755--774},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.003},
doi = {10.1016/J.APAL.2018.04.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KruckmanR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Krueger18,
author = {John Krueger},
title = {Club isomorphisms on higher Aronszajn trees},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {10},
pages = {1044--1081},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.05.003},
doi = {10.1016/J.APAL.2018.05.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Krueger18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kuznets18,
author = {Roman Kuznets},
title = {Multicomponent proof-theoretic method for proving interpolation properties},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1369--1418},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.007},
doi = {10.1016/J.APAL.2018.08.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kuznets18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Lando18,
author = {Tamar Lando},
title = {Topology and measure in logics for region-based theories of space},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {4},
pages = {277--311},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.002},
doi = {10.1016/J.APAL.2017.12.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Lando18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Luck18,
author = {Martin L{\"{u}}ck},
title = {Axiomatizations of team logics},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {9},
pages = {928--969},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.010},
doi = {10.1016/J.APAL.2018.04.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Luck18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Macbeth18,
author = {Danielle Macbeth},
title = {Logical form, mathematical practice, and Frege's \emph{Begriffsschrift}},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1419--1436},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.008},
doi = {10.1016/J.APAL.2018.08.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Macbeth18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MillerS18,
author = {Joseph S. Miller and
Mariya Ivanova Soskova},
title = {Corrigendum to "Advice classes of parameterized tractability" [Ann.
Pure Appl. Logic 84 {(1)} {(1997)} 119-138]},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {5},
pages = {450--462},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.01.001},
doi = {10.1016/J.APAL.2018.01.001},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MillerS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Moraschini18,
author = {Tommaso Moraschini},
title = {A computational glimpse at the Leibniz and Frege hierarchies},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {1},
pages = {1--20},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.07.003},
doi = {10.1016/J.APAL.2017.07.003},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Moraschini18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MwesigyeT18,
author = {Feresiano Mwesigye and
John Kenneth Truss},
title = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} games on ordinals},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {7},
pages = {616--636},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.03.001},
doi = {10.1016/J.APAL.2018.03.001},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MwesigyeT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NolaLL18,
author = {Antonio Di Nola and
Serafina Lapenta and
Ioana Leustean},
title = {An analysis of the logic of Riesz spaces with strong unit},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {3},
pages = {216--234},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.10.006},
doi = {10.1016/J.APAL.2017.10.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/NolaLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/PalacinS18,
author = {Daniel Palac{\'{\i}}n and
Saharon Shelah},
title = {On the class of flat stable theories},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {835--849},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.005},
doi = {10.1016/J.APAL.2018.04.005},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/PalacinS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Pettigrew18,
author = {Richard Pettigrew},
title = {What we talk about when we talk about numbers},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {12},
pages = {1437--1456},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.08.009},
doi = {10.1016/J.APAL.2018.08.009},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Pettigrew18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Potgieter18,
author = {Paul Potgieter},
title = {Algorithmically random series and Brownian motion},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {11},
pages = {1210--1226},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.07.001},
doi = {10.1016/J.APAL.2018.07.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Potgieter18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ronnholm18,
author = {Raine R{\"{o}}nnholm},
title = {Capturing k-ary existential second order logic with k-ary inclusion-exclusion
logic},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {3},
pages = {177--215},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.10.005},
doi = {10.1016/J.APAL.2017.10.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ronnholm18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SalehiS18,
author = {Saeed Salehi and
Payam Seraji},
title = {On constructivity and the Rosser property: a closer look at some G{\"{o}}delean
proofs},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {10},
pages = {971--980},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.009},
doi = {10.1016/J.APAL.2018.04.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SalehiS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ShelahV18,
author = {Saharon Shelah and
Sebastien Vasey},
title = {Abstract elementary classes stable in {\(\aleph\)}\({}_{\mbox{0}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {7},
pages = {565--587},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.02.004},
doi = {10.1016/J.APAL.2018.02.004},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ShelahV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Stump18,
author = {Aaron Stump},
title = {From realizability to induction via dependent intersection},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {7},
pages = {637--655},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.03.002},
doi = {10.1016/J.APAL.2018.03.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Stump18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sueur18,
author = {Chris Le Sueur},
title = {Determinacy of refinements to the difference hierarchy of co-analytic
sets},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {1},
pages = {83--115},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.10.001},
doi = {10.1016/J.APAL.2017.10.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sueur18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Tomasic18,
author = {Ivan Tomasic},
title = {Direct twisted Galois stratification},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {1},
pages = {21--53},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.07.002},
doi = {10.1016/J.APAL.2017.07.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Tomasic18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Wilken18,
author = {Gunnar Wilken},
title = {Pure patterns of order 2},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {1},
pages = {54--82},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.09.001},
doi = {10.1016/J.APAL.2017.09.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Wilken18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WuZ18,
author = {Guohua Wu and
Maxim V. Zubkov},
title = {The Kierstead's Conjecture and limitwise monotonic functions},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {6},
pages = {ii},
year = {2018},
url = {https://doi.org/10.1016/S0168-0072(18)30033-2},
doi = {10.1016/S0168-0072(18)30033-2},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/WuZ18.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.
retrieved on 2024-12-23 09:34 CET 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:
