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/apal165.bht:"
download as .bib file
@article{DBLP:journals/apal/AndrewsGM14,
author = {Uri Andrews and
Peter M. Gerdes and
Joseph S. Miller},
title = {The degrees of bi-hyperhyperimmune sets},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {803--811},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.004},
doi = {10.1016/J.APAL.2013.10.004},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AndrewsGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArtemovK14,
author = {Sergei N. Art{\"{e}}mov and
Roman Kuznets},
title = {Logical omniscience as infeasibility},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {6--25},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.003},
doi = {10.1016/J.APAL.2013.07.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArtemovK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Avron14,
author = {Arnon Avron},
title = {What is relevance logic?},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {26--48},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.004},
doi = {10.1016/J.APAL.2013.07.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Avron14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AwodeyBSS14,
author = {Steven Awodey and
Carsten Butz and
Alex Simpson and
Thomas Streicher},
title = {Relating first-order set theories, toposes and categories of classes},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {428--502},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.06.004},
doi = {10.1016/J.APAL.2013.06.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AwodeyBSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BadilloH14,
author = {Liliana Badillo and
Charles M. Harris},
title = {Avoiding uniformity in the {\(\Delta\)}\({}_{\mbox{2}}\)\({}^{\mbox{0}}\)
enumeration degrees},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1355--1379},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.008},
doi = {10.1016/J.APAL.2014.04.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BadilloH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BaltagRS14,
author = {Alexandru Baltag and
Bryan Renne and
Sonja Smets},
title = {The logic of justified belief, explicit knowledge, and conclusive
evidence},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {49--81},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.005},
doi = {10.1016/J.APAL.2013.07.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BaltagRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Beklemishev14,
author = {Lev D. Beklemishev},
title = {Positive provability logic for uniform reflection principles},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {82--105},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.006},
doi = {10.1016/J.APAL.2013.07.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Beklemishev14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BenthemDP14,
author = {Johan van Benthem and
David Fern{\'{a}}ndez{-}Duque and
Eric Pacuit},
title = {Evidence and plausibility in neighborhood structures},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {106--133},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.007},
doi = {10.1016/J.APAL.2013.07.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BenthemDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BezhanishviliG14,
author = {Nick Bezhanishvili and
Silvio Ghilardi},
title = {The bounded proof property via step algebras and step frames},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {12},
pages = {1832--1863},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.07.005},
doi = {10.1016/J.APAL.2014.07.005},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BezhanishviliG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BienvenuRSTV14,
author = {Laurent Bienvenu and
Andrei E. Romashchenko and
Alexander Shen and
Antoine Taveneaux and
Stijn Vermeeren},
title = {The axiomatic power of Kolmogorov complexity},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1380--1402},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.009},
doi = {10.1016/J.APAL.2014.04.009},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BienvenuRSTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrendleR14,
author = {J{\"{o}}rg Brendle and
Dilip Raghavan},
title = {Bounding, splitting, and almost disjointness},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {631--651},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.09.002},
doi = {10.1016/J.APAL.2013.09.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrendleR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrikR14,
author = {Alex Brik and
Jeffrey B. Remmel},
title = {Hybrid Answer Set Programming},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {134--163},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.008},
doi = {10.1016/J.APAL.2013.07.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrikR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CabrerG14,
author = {Leonardo Manuel Cabrer and
Jos{\'{e}} Gil{-}F{\'{e}}rez},
title = {Leibniz interpolation properties},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {4},
pages = {933--962},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.11.001},
doi = {10.1016/J.APAL.2013.11.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/CabrerG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cai14,
author = {Mingzhong Cai},
title = {2-Minimality, jump classes and a note on natural definability},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {724--741},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.005},
doi = {10.1016/J.APAL.2013.10.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Cai14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CaicedoI14,
author = {Xavier Caicedo and
Jos{\'{e}} Iovino},
title = {Omitting uncountable types and the strength of [0, 1]-valued logics},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {6},
pages = {1169--1200},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.01.005},
doi = {10.1016/J.APAL.2014.01.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CaicedoI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Carl14,
author = {Merlin Carl},
title = {The distribution of ITRM-recognizable reals},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1403--1417},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.010},
doi = {10.1016/J.APAL.2014.04.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Carl14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Chernikov14,
author = {Artem Chernikov},
title = {Theories without the tree property of the second kind},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {695--723},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.002},
doi = {10.1016/J.APAL.2013.10.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Chernikov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CholakDHS14,
author = {Peter Cholak and
Damir D. Dzhafarov and
Jeffry L. Hirst and
Theodore A. Slaman},
title = {Generics for computable Mathias forcing},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1418--1428},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.011},
doi = {10.1016/J.APAL.2014.04.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CholakDHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CodyM14,
author = {Brent Cody and
Menachem Magidor},
title = {On supercompactness and the continuum function},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {620--630},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.09.001},
doi = {10.1016/J.APAL.2013.09.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CodyM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ConstableB14,
author = {Robert L. Constable and
Mark Bickford},
title = {Intuitionistic completeness of first-order logic},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {164--198},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.009},
doi = {10.1016/J.APAL.2013.07.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ConstableB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperDHL14,
author = {S. Barry Cooper and
Anuj Dawar and
Martin Hyland and
Benedikt L{\"{o}}we},
title = {Turing Centenary Conference: How the World Computes},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1353--1354},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.007},
doi = {10.1016/J.APAL.2014.04.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperDHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cordon-FrancoM14,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
title = {Local induction and provably total computable functions},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1429--1444},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.012},
doi = {10.1016/J.APAL.2014.04.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Cordon-FrancoM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DantchevM14,
author = {Stefan S. Dantchev and
Barnaby Martin},
title = {Relativization makes contradictions harder for Resolution},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {837--857},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.009},
doi = {10.1016/J.APAL.2013.10.009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DantchevM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DeanK14,
author = {Walter Dean and
Hidenori Kurokawa},
title = {The Paradox of the Knower revisited},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {199--224},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.010},
doi = {10.1016/J.APAL.2013.07.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DeanK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DerakhshanM14,
author = {Jamshid Derakhshan and
Angus Macintyre},
title = {Some supplements to Feferman-Vaught related to the model theory of
adeles},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {11},
pages = {1639--1679},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.06.001},
doi = {10.1016/J.APAL.2014.06.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DerakhshanM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Doucha14,
author = {Michal Doucha},
title = {Scott rank of Polish metric spaces},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {12},
pages = {1919--1929},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.08.002},
doi = {10.1016/J.APAL.2014.08.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Doucha14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Eagle14,
author = {Christopher J. Eagle},
title = {Omitting types for infinitary [0,1]-valued logic},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {913--932},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.11.006},
doi = {10.1016/J.APAL.2013.11.006},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Eagle14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EalyO14,
author = {Clifton F. Ealy and
Alf Onshuus},
title = {Consistent amalgamation for {\th}-forking},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {503--519},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.06.021},
doi = {10.1016/J.APAL.2013.06.021},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/EalyO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Eberhard14,
author = {Sebastian Eberhard},
title = {A feasible theory of truth over combinatory algebra},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {5},
pages = {1009--1033},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.12.002},
doi = {10.1016/J.APAL.2013.12.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Eberhard14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fischer14,
author = {Andreas Fischer},
title = {Approximation of o-minimal maps satisfying a Lipschitz condition},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {787--802},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.003},
doi = {10.1016/J.APAL.2013.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Fischer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fitting14,
author = {Melvin Fitting},
title = {Possible world semantics for first-order logic of proofs},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {225--240},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.011},
doi = {10.1016/J.APAL.2013.07.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Fitting14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FrittaionM14,
author = {Emanuele Frittaion and
Alberto Marcone},
title = {Reverse mathematics and initial intervals},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {858--879},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.11.002},
doi = {10.1016/J.APAL.2013.11.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FrittaionM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GavruskinJKS14,
author = {Alexander Gavruskin and
Sanjay Jain and
Bakhadyr Khoussainov and
Frank Stephan},
title = {Graphs realised by r.e. equivalence relations},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1263--1290},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.001},
doi = {10.1016/J.APAL.2014.04.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GavruskinJKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GismatullinPP14,
author = {Jakub Gismatullin and
Davide Penazzi and
Anand Pillay},
title = {On compactifications and the topological dynamics of definable groups},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {552--562},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.020},
doi = {10.1016/J.APAL.2013.07.020},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GismatullinPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Golinska-PilarekHM14,
author = {Joanna Golinska{-}Pilarek and
Taneli Huuskonen and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Relational dual tableau decision procedures and their applications
to modal and intuitionistic logics},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {409--427},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.06.003},
doi = {10.1016/J.APAL.2013.06.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Golinska-PilarekHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GoudsmitI14,
author = {Jeroen P. Goudsmit and
Rosalie Iemhoff},
title = {On unification and admissible rules in Gabbay-de Jongh logics},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {652--672},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.09.003},
doi = {10.1016/J.APAL.2013.09.003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GoudsmitI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GreenbergS14,
author = {Noam Greenberg and
Saharon Shelah},
title = {Models of Cohen measurability},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {10},
pages = {1557--1576},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.05.001},
doi = {10.1016/J.APAL.2014.05.001},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GreenbergS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GuLMM14,
author = {Xiaoyang Gu and
Jack H. Lutz and
Elvira Mayordomo and
Philippe Moser},
title = {Dimension spectra of random subfractals of self-similar fractals},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {11},
pages = {1707--1726},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.07.001},
doi = {10.1016/J.APAL.2014.07.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GuLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HiguchiHSY14,
author = {Kojiro Higuchi and
W. M. Phillip Hudelson and
Stephen G. Simpson and
Keita Yokoyama},
title = {Propagation of partial randomness},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {742--758},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.006},
doi = {10.1016/J.APAL.2013.10.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HiguchiHSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HiguchiK14,
author = {Kojiro Higuchi and
Takayuki Kihara},
title = {Inside the Muchnik degrees {I:} Discontinuity, learnability and constructivism},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {5},
pages = {1058--1114},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.01.003},
doi = {10.1016/J.APAL.2014.01.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HiguchiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HiguchiK14a,
author = {Kojiro Higuchi and
Takayuki Kihara},
title = {Inside the Muchnik degrees {II:} The degree structures induced by
the arithmetical hierarchy of countably continuous functions},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {6},
pages = {1201--1241},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.03.001},
doi = {10.1016/J.APAL.2014.03.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HiguchiK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HiguchiK14b,
author = {Kojiro Higuchi and
Takayuki Kihara},
title = {On effectively closed sets of effective strong measure zero},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1445--1469},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.013},
doi = {10.1016/J.APAL.2014.04.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HiguchiK14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HorihataY14,
author = {Yoshihiro Horihata and
Keita Yokoyama},
title = {Nonstandard second-order arithmetic and Riemann's mapping theorem},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {520--551},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.06.022},
doi = {10.1016/J.APAL.2013.06.022},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HorihataY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HrusakM14,
author = {Michael Hrus{\'{a}}k and
Hiroaki Minami},
title = {Mathias-Prikry and Laver-Prikry type forcing},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {880--894},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.11.003},
doi = {10.1016/J.APAL.2013.11.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HrusakM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Japaridze14,
author = {Giorgi Japaridze},
title = {Introduction to clarithmetic {III}},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {241--252},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.012},
doi = {10.1016/J.APAL.2013.07.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Japaridze14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Johnson14,
author = {Jesse Johnson},
title = {Computable categoricity for pseudo-exponential fields of size {\(\aleph\)}\({}_{\mbox{1}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1301--1317},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.003},
doi = {10.1016/J.APAL.2014.04.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Johnson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KaneN14,
author = {Jeffrey Kane and
Pavel Naumov},
title = {Symmetry in information flow},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {253--265},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.013},
doi = {10.1016/J.APAL.2013.07.013},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KaneN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KeislerK14,
author = {H. Jerome Keisler and
Jeffrey M. Keisler},
title = {Observing, reporting, and deciding in networks of sentences},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {812--836},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.008},
doi = {10.1016/J.APAL.2013.10.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KeislerK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KirbyZ14,
author = {Jonathan Kirby and
Boris Zilber},
title = {Exponentially closed fields and the conjecture on intersections with
tori},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {11},
pages = {1680--1706},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.06.002},
doi = {10.1016/J.APAL.2014.06.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KirbyZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kjos-HanssenTT14,
author = {Bj{\o}rn Kjos{-}Hanssen and
Antoine Taveneaux and
Neil Thapen},
title = {How much randomness is needed for statistics?},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1470--1483},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.014},
doi = {10.1016/J.APAL.2014.04.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kjos-HanssenTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KohlenbachS14,
author = {Ulrich Kohlenbach and
Pavol Safarik},
title = {Fluctuations, effective learnability and metastability in analysis},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {266--304},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.014},
doi = {10.1016/J.APAL.2013.07.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KohlenbachS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KruegerS14,
author = {John Krueger and
Ernest Schimmerling},
title = {Separating weak partial square principles},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {609--619},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.08.003},
doi = {10.1016/J.APAL.2013.08.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KruegerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kubis14,
author = {Wieslaw Kubis},
title = {Fra{\"{\i}}ss{\'{e}} sequences: category-theoretic approach
to universal homogeneous structures},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {11},
pages = {1755--1811},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.07.004},
doi = {10.1016/J.APAL.2014.07.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kubis14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kurilic14,
author = {Milos S. Kurilic},
title = {Posets of copies of countable scattered linear orders},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {3},
pages = {895--912},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.11.005},
doi = {10.1016/J.APAL.2013.11.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kurilic14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Lambie-Hanson14,
author = {Chris Lambie{-}Hanson},
title = {Squares and covering matrices},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {673--694},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.001},
doi = {10.1016/J.APAL.2013.10.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Lambie-Hanson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Leustean14,
author = {Laurentiu Leustean},
title = {An application of proof mining to nonlinear iterations},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1484--1500},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.015},
doi = {10.1016/J.APAL.2014.04.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Leustean14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MaPS14,
author = {Minghui Ma and
Alessandra Palmigiano and
Mehrnoosh Sadrzadeh},
title = {Algebraic semantics and model completeness for Intuitionistic Public
Announcement Logic},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {4},
pages = {963--995},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.11.004},
doi = {10.1016/J.APAL.2013.11.004},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MaPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MildenbergerS14,
author = {Heike Mildenberger and
Saharon Shelah},
title = {Many countable support iterations of proper forcings preserve Souslin
trees},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {573--608},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.08.002},
doi = {10.1016/J.APAL.2013.08.002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MildenbergerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MillerTZ14,
author = {Arnold W. Miller and
Boaz Tsaban and
Lyubomyr Zdomskyy},
title = {Selective covering properties of product spaces},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {5},
pages = {1034--1057},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.01.001},
doi = {10.1016/J.APAL.2014.01.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MillerTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Milnikel14,
author = {Robert Saxon Milnikel},
title = {The Logic of Uncertain Justifications},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {305--315},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.015},
doi = {10.1016/J.APAL.2013.07.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Milnikel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MullerT14,
author = {Sebastian M{\"{u}}ller and
Iddo Tzameret},
title = {Short propositional refutations for dense random 3CNF formulas},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {12},
pages = {1864--1918},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.08.001},
doi = {10.1016/J.APAL.2014.08.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MullerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeF14,
author = {Anil Nerode and
Melvin Fitting},
title = {Editorial},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.001},
doi = {10.1016/J.APAL.2013.07.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeF14a,
author = {Anil Nerode and
Melvin Fitting},
title = {The life and work of Sergei Artemov},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {3--5},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.002},
doi = {10.1016/J.APAL.2013.07.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeF14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Powell14,
author = {Thomas Powell},
title = {The equivalence of bar recursion and open recursion},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {11},
pages = {1727--1754},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.07.003},
doi = {10.1016/J.APAL.2014.07.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Powell14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ramakrishnan14,
author = {Janak Ramakrishnan},
title = {Definable functions continuous on curves in o-minimal structures},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1339--1351},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.005},
doi = {10.1016/J.APAL.2014.04.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ramakrishnan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Rathjen14,
author = {Michael Rathjen},
title = {Relativized ordinal analysis: The case of Power Kripke-Platek set
theory},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {316--339},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.016},
doi = {10.1016/J.APAL.2013.07.016},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Rathjen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Rathjen14a,
author = {Michael Rathjen},
title = {Constructive Zermelo-Fraenkel set theory and the limited principle
of omniscience},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {563--572},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.08.001},
doi = {10.1016/J.APAL.2013.08.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Rathjen14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Rin14,
author = {Benjamin G. Rin},
title = {The computational strengths of {\(\alpha\)}-tape infinite time Turing
machines},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1501--1511},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.016},
doi = {10.1016/J.APAL.2014.04.016},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Rin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/RumpY14,
author = {Wolfgang Rump and
Yichuan Yang},
title = {Non-commutative logical algebras and algebraic quantales},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {759--785},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.10.007},
doi = {10.1016/J.APAL.2013.10.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/RumpY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SarievG14,
author = {Andrey Sariev and
Hristo Ganchev},
title = {The {\(\omega\)}-Turing degrees},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1512--1532},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.017},
doi = {10.1016/J.APAL.2014.04.017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/SarievG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Savateev14,
author = {Yury Savateev},
title = {Proof internalization in generalized Frege systems for classical logic},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {340--356},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.017},
doi = {10.1016/J.APAL.2013.07.017},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Savateev14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Schlicht14,
author = {Philipp Schlicht},
title = {Thin equivalence relations and inner models},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {10},
pages = {1577--1625},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.05.002},
doi = {10.1016/J.APAL.2014.05.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Schlicht14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ShlapentokhV14,
author = {Alexandra Shlapentokh and
Carlos Videla},
title = {Definability and decidability in infinite algebraic extensions},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1243--1262},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.02.001},
doi = {10.1016/J.APAL.2014.02.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ShlapentokhV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SinapovaU14,
author = {Dima Sinapova and
Spencer Unger},
title = {Combinatorics at {\unicode{1488}}\({}_{\mbox{{\(\omega\)}}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {4},
pages = {996--1007},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.12.001},
doi = {10.1016/J.APAL.2013.12.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SinapovaU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Slavnov14,
author = {Sergey Slavnov},
title = {Modeling linear logic with implicit functions},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {357--370},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.018},
doi = {10.1016/J.APAL.2013.07.018},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Slavnov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SolankiSZ14,
author = {Vinesh Solanki and
Dmitry Sustretov and
Boris Zilber},
title = {The quantum harmonic oscillator as a Zariski geometry},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {6},
pages = {1149--1168},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.01.002},
doi = {10.1016/J.APAL.2014.01.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SolankiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Starosolski14,
author = {Andrzej Starosolski},
title = {Cascades, order, and ultrafilters},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {10},
pages = {1626--1638},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.05.003},
doi = {10.1016/J.APAL.2014.05.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Starosolski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/StephanY14,
author = {Frank Stephan and
Liang Yu},
title = {A reducibility related to being hyperimmune-free},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1291--1300},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.002},
doi = {10.1016/J.APAL.2014.04.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/StephanY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Swan14,
author = {Andrew W. Swan},
title = {{CZF} does not have the existence property},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {5},
pages = {1115--1147},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.01.004},
doi = {10.1016/J.APAL.2014.01.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Swan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Trang14,
author = {Nam Trang},
title = {{HOD} in natural models of AD\({}^{\mbox{+}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {10},
pages = {1533--1556},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.006},
doi = {10.1016/J.APAL.2014.04.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Trang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Unger14,
author = {Spencer Unger},
title = {A model of Cummings and Foreman revisited},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {12},
pages = {1813--1831},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.07.002},
doi = {10.1016/J.APAL.2014.07.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Unger14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Wang14,
author = {Wei Wang},
title = {Cohesive sets and rainbows},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {2},
pages = {389--408},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.06.002},
doi = {10.1016/J.APAL.2013.06.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Wang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Wang14a,
author = {Ren{-}June Wang},
title = {Non-circular proofs and proof realization in modal logic},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {7-8},
pages = {1318--1338},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.004},
doi = {10.1016/J.APAL.2014.04.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Wang14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Yu14,
author = {Junhua Yu},
title = {Self-referentiality of Brouwer-Heyting-Kolmogorov semantics},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {371--388},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.019},
doi = {10.1016/J.APAL.2013.07.019},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Yu14.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-05-27 21:59 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:
