Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philip D. Welch
@article{DBLP:journals/apal/BrickhillW23,
author = {H. Brickhill and
Philip D. Welch},
title = {Generalisations of stationarity, closed and unboundedness, and of
Jensen's {\(\square\)}},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {7},
pages = {103272},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2023.103272},
doi = {10.1016/J.APAL.2023.103272},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BrickhillW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HenneyTurnerHSW23,
author = {Christopher Henney{-}Turner and
Peter Holy and
Philipp Schlicht and
Philip D. Welch},
title = {Asymmetric Cut and Choose Games},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {588--625},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.31},
doi = {10.1017/BSL.2023.31},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/HenneyTurnerHSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/VaananenW23,
author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Philip D. Welch},
title = {When cardinals determine the power set: inner models and H{\"{a}}rtig
quantifier logic},
journal = {Math. Log. Q.},
volume = {69},
number = {4},
pages = {460--471},
year = {2023},
url = {https://doi.org/10.1002/malq.202200030},
doi = {10.1002/MALQ.202200030},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/VaananenW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch22,
author = {Philip D. Welch},
title = {Closed and Unbounded Classes and the H{\"{a}}Rtig Quantifier
Model},
journal = {J. Symb. Log.},
volume = {87},
number = {2},
pages = {564--584},
year = {2022},
url = {https://doi.org/10.1017/jsl.2021.21},
doi = {10.1017/JSL.2021.21},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Welch21,
author = {Philip D. Welch},
title = {Characterisations of variant transfinite computational models: Infinite
time Turing, ordinal time Turing, and Blum-Shub-Smale machines},
journal = {Comput.},
volume = {10},
number = {2},
pages = {159--180},
year = {2021},
url = {https://doi.org/10.3233/COM-200301},
doi = {10.3233/COM-200301},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Welch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch21,
author = {Philip D. Welch},
title = {Stably Measurable Cardinals},
journal = {J. Symb. Log.},
volume = {86},
number = {2},
pages = {448--470},
year = {2021},
url = {https://doi.org/10.1017/jsl.2019.82},
doi = {10.1017/JSL.2019.82},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AguileraW21,
author = {Juan P. Aguilera and
Philip D. Welch},
title = {G\({}_{\mbox{{\(\delta\)}{\(\sigma\)}}}\) {GAMES} {AND} {INDUCTION}
{ON} {REALS}},
journal = {J. Symb. Log.},
volume = {86},
number = {4},
pages = {1676--1690},
year = {2021},
url = {https://doi.org/10.1017/jsl.2021.66},
doi = {10.1017/JSL.2021.66},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AguileraW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Welch20,
author = {Philip D. Welch},
title = {Some observations on Truth Hierarchies: a correction},
journal = {Rev. Symb. Log.},
volume = {13},
number = {4},
pages = {857--860},
year = {2020},
url = {https://doi.org/10.1017/S1755020319000042},
doi = {10.1017/S1755020319000042},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Welch20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04942,
author = {Merlin Carl and
Philipp Schlicht and
Philip D. Welch},
title = {Decision times of infinite computations},
journal = {CoRR},
volume = {abs/2011.04942},
year = {2020},
url = {https://arxiv.org/abs/2011.04942},
eprinttype = {arXiv},
eprint = {2011.04942},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-04942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Welch19,
author = {Philip D. Welch},
title = {Rethinking Revision},
journal = {J. Philos. Log.},
volume = {48},
number = {1},
pages = {137--154},
year = {2019},
url = {https://doi.org/10.1007/s10992-018-9482-1},
doi = {10.1007/S10992-018-9482-1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Welch19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NielsenW19,
author = {Dan Saattrup Nielsen and
Philip D. Welch},
title = {Games and Ramsey-like Cardinals},
journal = {J. Symb. Log.},
volume = {84},
number = {1},
pages = {408--437},
year = {2019},
url = {https://doi.org/10.1017/jsl.2018.75},
doi = {10.1017/JSL.2018.75},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/NielsenW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Welch19,
author = {Philip D. Welch},
editor = {Florin Manea and
Barnaby Martin and
Dani{\"{e}}l Paulusma and
Giuseppe Primiero},
title = {Higher Type Recursion for Transfinite Machine Theory},
booktitle = {Computing with Foresight and Industry - 15th Conference on Computability
in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11558},
pages = {72--83},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22996-2\_7},
doi = {10.1007/978-3-030-22996-2\_7},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Welch19.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/bsl/Welch18,
author = {Philip D. Welch},
title = {The Ramified analytical Hierarchy using Extended Logics},
journal = {Bull. Symb. Log.},
volume = {24},
number = {3},
pages = {306--318},
year = {2018},
url = {https://doi.org/10.1017/bsl.2018.69},
doi = {10.1017/BSL.2018.69},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Welch18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CarlOW18,
author = {Merlin Carl and
Sabrina Ouazzani and
Philip D. Welch},
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {Taming Koepke's Zoo},
booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
pages = {126--135},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0\_13},
doi = {10.1007/978-3-319-94418-0\_13},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/cie/CarlOW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/Welch16,
author = {Philip D. Welch},
editor = {S. Barry Cooper and
Andrew Hodges},
title = {Turing Transcendent: Beyond the Event Horizon},
booktitle = {The Once and Future Turing: Computing the World},
pages = {335--360},
publisher = {Cambridge University Press},
year = {2016},
url = {https://doi.org/10.1017/CBO9780511863196.021},
doi = {10.1017/CBO9780511863196.021},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/p/Welch16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Welch15,
author = {Philip D. Welch},
title = {The Complexity of the Dependence Operator},
journal = {J. Philos. Log.},
volume = {44},
number = {3},
pages = {337--340},
year = {2015},
url = {https://doi.org/10.1007/s10992-014-9324-8},
doi = {10.1007/S10992-014-9324-8},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Welch15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HolyWW15,
author = {Peter Holy and
Philip D. Welch and
Liuzhen Wu},
title = {Local Club Condensation and L-Likeness},
journal = {J. Symb. Log.},
volume = {80},
number = {4},
pages = {1361--1378},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.6},
doi = {10.1017/JSL.2015.6},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HolyWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FlorioLWW15,
author = {Salvatore Florio and
{\O}ystein Linnebo and
Sean Walsh and
Philip D. Welch},
title = {Introduction},
journal = {Notre Dame J. Formal Log.},
volume = {56},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1215/00294527-2835020},
doi = {10.1215/00294527-2835020},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/FlorioLWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Welch15,
author = {Philip D. Welch},
title = {Large Cardinals, Inner Models, and Determinacy: An Introductory Overview},
journal = {Notre Dame J. Formal Log.},
volume = {56},
number = {1},
pages = {213--242},
year = {2015},
url = {https://doi.org/10.1215/00294527-2835083},
doi = {10.1215/00294527-2835083},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Welch15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Welch14,
author = {Philip D. Welch},
title = {Some observations on Truth Hierarchies},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {1--30},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000361},
doi = {10.1017/S1755020313000361},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Welch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/Welch14,
author = {Philip D. Welch},
editor = {Rod Downey},
title = {Transfinite machine models},
booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
pages = {493--529},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579.015},
doi = {10.1017/CBO9781107338579.015},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/p/Welch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Welch14,
author = {Philip D. Welch},
title = {Discrete Transfinite Computation},
journal = {CoRR},
volume = {abs/1409.5052},
year = {2014},
url = {http://arxiv.org/abs/1409.5052},
eprinttype = {arXiv},
eprint = {1409.5052},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Welch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HorstenLLW12,
author = {Leon Horsten and
Graham E. Leigh and
Hannes Leitgeb and
Philip D. Welch},
title = {Revision Revisited},
journal = {Rev. Symb. Log.},
volume = {5},
number = {4},
pages = {642--664},
year = {2012},
url = {https://doi.org/10.1017/S175502031100030X},
doi = {10.1017/S175502031100030X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HorstenLLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KoepkeW11,
author = {Peter Koepke and
Philip D. Welch},
title = {Global square and mutual stationarity at the aleph\({}_{\mbox{n}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {10},
pages = {787--806},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.03.003},
doi = {10.1016/J.APAL.2011.03.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KoepkeW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SharpeW11,
author = {I. Sharpe and
Philip D. Welch},
title = {Greatly Erd{\H{o}}s cardinals with some generalizations to the Chang
and Ramsey properties},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {11},
pages = {863--902},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.04.002},
doi = {10.1016/J.APAL.2011.04.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SharpeW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch11,
author = {Philip D. Welch},
title = {Weak systems of determinacy and arithmetical quasi-inductive definitions},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {418--436},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810756},
doi = {10.2178/JSL/1305810756},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GitmanW11,
author = {Victoria Gitman and
Philip D. Welch},
title = {Ramsey-like cardinals {II}},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {541--560},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810763},
doi = {10.2178/JSL/1305810763},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GitmanW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanW11,
author = {Sy{-}David Friedman and
Philip D. Welch},
title = {Hypermachines},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {620--636},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810767},
doi = {10.2178/JSL/1305810767},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch11a,
author = {Philip D. Welch},
title = {Determinacy in strong cardinal models},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {719--728},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810772},
doi = {10.2178/JSL/1305810772},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Welch11,
author = {Philip D. Welch},
title = {Truth, Logical Validity and Determinateness: a Commentary on field's
Saving Truth from Paradox},
journal = {Rev. Symb. Log.},
volume = {4},
number = {3},
pages = {348--359},
year = {2011},
url = {https://doi.org/10.1017/S1755020311000049},
doi = {10.1017/S1755020311000049},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Welch11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KoepkeW11,
author = {Peter Koepke and
Philip D. Welch},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {A Generalised Dynamical System, Infinite Time Register Machines, and
{\textdollar}{\textbackslash}Pi{\^{}}1{\_}1{\textdollar} -CA0},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {152--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_16},
doi = {10.1007/978-3-642-21875-0\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/KoepkeW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Welch10,
author = {Philip D. Welch},
title = {Book Reviews},
journal = {Stud Logica},
volume = {96},
number = {3},
pages = {433--440},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9290-2},
doi = {10.1007/S11225-010-9290-2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Welch10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Welch09,
author = {Philip D. Welch},
title = {Games for truth},
journal = {Bull. Symb. Log.},
volume = {15},
number = {4},
pages = {410--427},
year = {2009},
url = {https://doi.org/10.2178/bsl/1255526080},
doi = {10.2178/BSL/1255526080},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Welch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/HorstenW09,
author = {Leon Horsten and
Philip D. Welch},
title = {The undecidability of propositional adaptive logic},
journal = {Synth.},
volume = {169},
number = {1},
pages = {217--218},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9496-x},
doi = {10.1007/S11229-009-9496-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/HorstenW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Welch09,
author = {Philip D. Welch},
title = {Characteristics of discrete transfinite time Turing machine models:
Halting times, stabilization times, and Normal Form theorems},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {426--442},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.050},
doi = {10.1016/J.TCS.2008.09.050},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Welch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Welch09,
author = {Philip D. Welch},
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Nachum Dershowitz and
Elisabete Freire and
Grzegorz Rozenberg},
title = {Relativistic Computers and Transfinite Computation},
booktitle = {Unconventional Computation, 8th International Conference, {UC} 2009,
Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5715},
pages = {37--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03745-0\_11},
doi = {10.1007/978-3-642-03745-0\_11},
timestamp = {Sun, 25 Oct 2020 22:48:50 +0100},
biburl = {https://dblp.org/rec/conf/uc/Welch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanWW08,
author = {Sy{-}David Friedman and
Philip D. Welch and
W. Hugh Woodin},
title = {On the consistency strength of the inner model hypothesis},
journal = {J. Symb. Log.},
volume = {73},
number = {2},
pages = {391--400},
year = {2008},
url = {https://doi.org/10.2178/jsl/1208359050},
doi = {10.2178/JSL/1208359050},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Welch08,
author = {Philip D. Welch},
title = {Ultimate Truth vis-{\`{a}}-vis stable Truth},
journal = {Rev. Symb. Log.},
volume = {1},
number = {1},
pages = {126--142},
year = {2008},
url = {https://doi.org/10.1017/S1755020308080118},
doi = {10.1017/S1755020308080118},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Welch08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Welch08,
author = {Philip D. Welch},
title = {Bounding lemmata for non-deterministic halting times of transfinite
Turing machines},
journal = {Theor. Comput. Sci.},
volume = {394},
number = {3},
pages = {223--228},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.12.014},
doi = {10.1016/J.TCS.2007.12.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Welch08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/HorstenW07,
author = {Leon Horsten and
Philip D. Welch},
title = {The Undecidability of Propositional Adaptive Logic},
journal = {Synth.},
volume = {158},
number = {1},
pages = {41--60},
year = {2007},
url = {https://doi.org/10.1007/s11229-006-9049-5},
doi = {10.1007/S11229-006-9049-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/HorstenW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Welch07,
author = {Philip D. Welch},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Turing Unbound: Transfinite Computation},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {768--780},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_82},
doi = {10.1007/978-3-540-73001-9\_82},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Welch07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Welch06,
author = {Philip D. Welch},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Non-deterministic Halting Times for Hamkins-Kidder Turing Machines},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {571--574},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_58},
doi = {10.1007/11780342\_58},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Welch06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Welch05,
author = {Philip D. Welch},
title = {Some Open Problems in Mutual Stationarity Involving Inner Model Theory:
{A} Commentary},
journal = {Notre Dame J. Formal Log.},
volume = {46},
number = {3},
pages = {375--379},
year = {2005},
url = {https://doi.org/10.1305/ndjfl/1125409336},
doi = {10.1305/NDJFL/1125409336},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Welch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KuhnbergerLMW05,
author = {Kai{-}Uwe K{\"{u}}hnberger and
Benedikt L{\"{o}}we and
Michael M{\"{o}}llerfeld and
Philip D. Welch},
title = {Comparing Inductive and Circular Definitions: Parameters, Complexity
and Games},
journal = {Stud Logica},
volume = {81},
number = {1},
pages = {79--98},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-2803-8},
doi = {10.1007/S11225-005-2803-8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KuhnbergerLMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Welch05,
author = {Philip D. Welch},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {The Transfinite Action of 1 Tape Turing Machines},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {532--539},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_65},
doi = {10.1007/11494645\_65},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Welch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Welch04,
author = {Philip D. Welch},
title = {On unfoldable cardinals, omega-closed cardinals, and the beginning
of the inner model hierarchy},
journal = {Arch. Math. Log.},
volume = {43},
number = {4},
pages = {443--458},
year = {2004},
url = {https://doi.org/10.1007/s00153-003-0199-6},
doi = {10.1007/S00153-003-0199-6},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Welch04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/HalbachLW03,
author = {Volker Halbach and
Hannes Leitgeb and
Philip D. Welch},
title = {Possible-Worlds Semantics for Modal Notions Conceived as Predicates},
journal = {J. Philos. Log.},
volume = {32},
number = {2},
pages = {179--223},
year = {2003},
url = {https://doi.org/10.1023/A:1023080715357},
doi = {10.1023/A:1023080715357},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/HalbachLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch03,
author = {Philip D. Welch},
title = {On revision operators},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {689--711},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669071},
doi = {10.2178/JSL/1052669071},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HamkinsW03,
author = {Joel David Hamkins and
Philip D. Welch},
title = {P\({}^{\mbox{f}}\) != NP\({}^{\mbox{f}}\) for almost all f},
journal = {Math. Log. Q.},
volume = {49},
number = {5},
pages = {536--540},
year = {2003},
url = {https://doi.org/10.1002/malq.200310057},
doi = {10.1002/MALQ.200310057},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HamkinsW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AsperoW02,
author = {David Asper{\'{o}} and
Philip D. Welch},
title = {Bounded Martin's Maximum, Weak Erd{\"{o}}s Cardinals and psi
\({}_{\mbox{AC}}\)},
journal = {J. Symb. Log.},
volume = {67},
number = {3},
pages = {1141--1152},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150154},
doi = {10.2178/JSL/1190150154},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/AsperoW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Welch01,
author = {Philip D. Welch},
title = {On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points,
and the next stable set},
journal = {Bull. Symb. Log.},
volume = {7},
number = {3},
pages = {345--360},
year = {2001},
url = {https://doi.org/10.2307/2687753},
doi = {10.2307/2687753},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Welch01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/VickersW01,
author = {John M. Vickers and
Philip D. Welch},
title = {On Elementary Embeddings from An Inner Model to The Universe},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1090--1116},
year = {2001},
url = {https://doi.org/10.2307/2695094},
doi = {10.2307/2695094},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/VickersW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LoweW01,
author = {Benedikt L{\"{o}}we and
Philip D. Welch},
title = {Set-Theoretic Absoluteness and the Revision Theory of Truth},
journal = {Stud Logica},
volume = {68},
number = {1},
pages = {21--41},
year = {2001},
url = {https://doi.org/10.1023/A:1011946004905},
doi = {10.1023/A:1011946004905},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/LoweW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fotfs/Welch01,
author = {Philip D. Welch},
editor = {Benedikt L{\"{o}}we and
Boris Piwinger and
Thoralf R{\"{a}}sch},
title = {Post's and other problems of supertasks of higher type},
booktitle = {Classical and New Paradigms of Computation and their Complexity Hierarchies,
Papers of the conference "Foundations of the Formal Sciences III",
Wien, Asutria, September 21-24, 2001},
series = {Trends in Logic},
volume = {23},
pages = {223--237},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4020-2776-5\_13},
doi = {10.1007/978-1-4020-2776-5\_13},
timestamp = {Fri, 29 May 2020 16:39:30 +0200},
biburl = {https://dblp.org/rec/conf/fotfs/Welch01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/VickersW00,
author = {John M. Vickers and
Philip D. Welch},
title = {On successors of J{\'{o}}nsson cardinals},
journal = {Arch. Math. Log.},
volume = {39},
number = {6},
pages = {465--473},
year = {2000},
url = {https://doi.org/10.1007/s001530050159},
doi = {10.1007/S001530050159},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/VickersW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch00,
author = {Philip D. Welch},
title = {Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable
Reals},
journal = {J. Symb. Log.},
volume = {65},
number = {3},
pages = {1193--1203},
year = {2000},
url = {https://doi.org/10.2307/2586695},
doi = {10.2307/2586695},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Welch96,
author = {Philip D. Welch},
title = {Determinacy in the Difference Hierarchy of Co-Analytic Sets},
journal = {Ann. Pure Appl. Log.},
volume = {80},
number = {1},
pages = {69--108},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00057-7},
doi = {10.1016/0168-0072(95)00057-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Welch96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch96,
author = {Philip D. Welch},
title = {Countable Unions of Simple Sets in the Core Model},
journal = {J. Symb. Log.},
volume = {61},
number = {1},
pages = {293--312},
year = {1996},
url = {https://doi.org/10.2307/2275612},
doi = {10.2307/2275612},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch94,
author = {Philip D. Welch},
title = {Characterising Subsets of omega\({}_{\mbox{1}}\) Constructible from
a Real},
journal = {J. Symb. Log.},
volume = {59},
number = {4},
pages = {1420--1432},
year = {1994},
url = {https://doi.org/10.2307/2275715},
doi = {10.2307/2275715},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Welch88,
author = {Philip D. Welch},
title = {Some descriptive set theory and core models},
journal = {Ann. Pure Appl. Log.},
volume = {39},
number = {3},
pages = {273--290},
year = {1988},
url = {https://doi.org/10.1016/0168-0072(88)90012-7},
doi = {10.1016/0168-0072(88)90012-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Welch88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch87,
author = {Philip D. Welch},
title = {The Reals in Core Models},
journal = {J. Symb. Log.},
volume = {52},
number = {1},
pages = {64--67},
year = {1987},
url = {https://doi.org/10.2307/2273862},
doi = {10.2307/2273862},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch87a,
author = {Philip D. Welch},
title = {Minimality in the {\textbackslash}triangle\({}^{\mbox{1}}\)\({}_{\mbox{3}}\)-Degrees},
journal = {J. Symb. Log.},
volume = {52},
number = {4},
pages = {908--915},
year = {1987},
url = {https://doi.org/10.2307/2273825},
doi = {10.2307/2273825},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch86,
author = {Philip D. Welch},
title = {The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees},
journal = {J. Symb. Log.},
volume = {51},
number = {1},
pages = {130--134},
year = {1986},
url = {https://doi.org/10.2307/2273949},
doi = {10.2307/2273949},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch85,
author = {Philip D. Welch},
title = {Comparing Incomparable Kleene Degrees},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {55--58},
year = {1985},
url = {https://doi.org/10.2307/2273788},
doi = {10.2307/2273788},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Welch85.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.
last updated on 2024-04-02 22:34 CEST 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:
