Search results for "Philip D. Welch"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Philip D. Welch	Determinacy in strong cardinal models.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Sy-David Friedman, Philip D. Welch	Hypermachines.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Victoria Gitman, Philip D. Welch	Ramsey-like cardinals II.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Philip D. Welch	Weak systems of determinacy and arithmetical quasi-inductive definitions.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Peter Koepke, Philip D. Welch	Global square and mutual stationarity at the alephn.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Peter Koepke, Philip D. Welch	A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0.	CiE	2011	DBLP DOI BibTeX RDF
1	Philip D. Welch	Book Reviews.	Studia Logica	2010	DBLP DOI BibTeX RDF
1	Philip D. Welch	Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Philip D. Welch	Games for truth.	Bulletin of Symbolic Logic	2009	DBLP BibTeX RDF
1	Philip D. Welch	Relativistic Computers and Transfinite Computation.	UC	2009	DBLP DOI BibTeX RDF
1	Philip D. Welch	Bounding lemmata for non-deterministic halting times of transfinite Turing machines.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Sy-David Friedman, Philip D. Welch, W. Hugh Woodin	On the consistency strength of the inner model hypothesis.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Philip D. Welch	Turing Unbound: Transfinite Computation.	CiE	2007	DBLP DOI BibTeX RDF
1	Philip D. Welch	Non-deterministic Halting Times for Hamkins-Kidder Turing Machines.	CiE	2006	DBLP DOI BibTeX RDF
1	Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch	Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.	Studia Logica	2005	DBLP DOI BibTeX RDF	Revision Theory, Circular Definitions, Inductive definitions
1	Philip D. Welch	Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary.	Notre Dame Journal of Formal Logic	2005	DBLP BibTeX RDF
1	Philip D. Welch	The Transfinite Action of 1 Tape Turing Machines.	CiE	2005	DBLP DOI BibTeX RDF
1	Philip D. Welch	On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Large cardinals, Inner models, Descriptive set theory, Constructibility
1	Joel David Hamkins, Philip D. Welch	Pf != NPf for almost all f.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
1	Philip D. Welch	On revision operators.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	David Asperó, Philip D. Welch	Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Benedikt Löwe, Philip D. Welch	Set-Theoretic Absoluteness and the Revision Theory of Truth.	Studia Logica	2001	DBLP DOI BibTeX RDF
1	J. Vickers, Philip D. Welch	On Elementary Embeddings from An Inner Model to The Universe.	J. Symb. Log.	2001	DBLP BibTeX RDF
1	Philip D. Welch	On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set.	Bulletin of Symbolic Logic	2001	DBLP BibTeX RDF
1	Philip D. Welch	Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals.	J. Symb. Log.	2000	DBLP BibTeX RDF
1	J. Vickers, Philip D. Welch	On successors of Jónsson cardinals.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991):03E55, 03E10, 03E45
1	Philip D. Welch	Countable Unions of Simple Sets in the Core Model.	J. Symb. Log.	1996	DBLP BibTeX RDF
1	Philip D. Welch	Determinacy in the Difference Hierarchy of Co-Analytic Sets.	Ann. Pure Appl. Logic	1996	DBLP DOI BibTeX RDF
1	Philip D. Welch	Characterising Subsets of omega1 Constructible from a Real.	J. Symb. Log.	1994	DBLP BibTeX RDF
1	Philip D. Welch	Minimality in the \triangle13-Degrees.	J. Symb. Log.	1987	DBLP BibTeX RDF
1	Philip D. Welch	The Reals in Core Models.	J. Symb. Log.	1987	DBLP BibTeX RDF
1	Philip D. Welch	The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees.	J. Symb. Log.	1986	DBLP BibTeX RDF
1	Philip D. Welch	Comparing Incomparable Kleene Degrees.	J. Symb. Log.	1985	DBLP BibTeX RDF

Publications of "Philip D. Welch" ( http://dblp.L3S.de/Authors/Philip_D._Welch )