Philip D. Welch

Available identifiers

zbMath Open welch.philip-dWikidataQ54598807 ScholiaQ54598807MaRDI QIDQ221561

List of research outcomes

Publication	Date of Publication	Type
ASYMMETRIC CUT AND CHOOSE GAMES	2024-02-23	Paper
When cardinals determine the power set: inner models and Härtig quantifier logic	2024-01-02	Paper
Proving Theorems from Reflection	2023-09-20	Paper
Countable ranks at the first and second projective levels	2022-07-18	Paper
Decision times of infinite computations	2022-07-13	Paper
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL	2022-06-15	Paper
STABLY MEASURABLE CARDINALS	2021-10-27	Paper
Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines	2021-06-25	Paper
SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION	2021-05-11	Paper
Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines	2020-12-14	Paper
Decision times of infinite computations	2020-11-10	Paper
Higher type recursion for transfinite machine theory	2020-05-12	Paper
GAMES AND RAMSEY-LIKE CARDINALS	2019-03-15	Paper
Closed Unbounded classes and the Haertig Quantifier Model	2019-03-06	Paper
Stably Measurable Cardinals	2019-01-16	Paper
Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities	2018-11-13	Paper
THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS	2018-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4689311	2018-10-15	Paper
Taming Koepke's zoo	2018-09-06	Paper
The Ramified Analytical Hierarchy using Extended Logics	2018-08-11	Paper
Discrete Transfinite Computation	2018-04-18	Paper
Recognizable sets and Woodin cardinals: computation beyond the constructible universe	2018-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q2803847	2016-05-03	Paper
LOCAL CLUB CONDENSATION AND L-LIKENESS	2016-03-22	Paper
G_{\delta \sigma}-games and generalized computation	2015-09-30	Paper
The aftermath	2013-07-18	Paper
REVISION REVISITED	2013-01-10	Paper
Discrete Transfinite Computation	2012-09-05	Paper
Global square and mutual stationarity at the \(\aleph_n\)	2011-09-22	Paper
A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0	2011-09-09	Paper
Hypermachines	2011-06-28	Paper
Σ* Fine Structure	2010-11-05	Paper
Erratum to ``The undecidability of propositional adaptive logic	2009-11-04	Paper
Relativistic Computers and Transfinite Computation	2009-10-22	Paper
On the consistency strength of the inner model hypothesis	2008-06-09	Paper
Bounding lemmata for non-deterministic halting times of transfinite Turing machines	2008-04-16	Paper
The undecidability of propositional adaptive logic	2007-11-14	Paper
Turing Unbound: Transfinite Computation	2007-11-13	Paper
The strength of the Inner Model Hypothesis	2007-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q3425068	2007-03-05	Paper
Comparing inductive and circular definitions: Parameters, complexity and games	2006-03-17	Paper
New Computational Paradigms	2006-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5711928	2005-12-08	Paper
Set-theoretic absoluteness and the revision theory of truth	2004-02-08	Paper
Pf ≠ NPf for almost all f	2003-11-10	Paper
Possible-worlds semantics for modal notions conceived as predicates	2003-06-09	Paper
Bounded Martin's Maximum, weak Erdӧs cardinals, and ψAc	2002-12-16	Paper
P^f is not equal to NP^f for almost all f	2002-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4944928	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4934571	2000-06-13	Paper
The reals in core models	1987-01-01	Paper
Minimality in the Δ⅓-degrees	1987-01-01	Paper
The natural hierarchy and quasi-hierarchy of constructibility degrees	1986-01-01	Paper
Comparing incomparable kleene degrees	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691660	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philip D. Welch