Philip Scowcroft

2007
9	EE	Philip Scowcroft: Elimination of unbounded quantifiers for some poly-regular groups of infinite rank. Ann. Pure Appl. Logic 149(1-3): 40-80 (2007)
1999
8		Philip Scowcroft: Some Purely Topological Models for Intuitionistic Analysis. Ann. Pure Appl. Logic 98(1-3): 173-215 (1999)
1997
7		Philip Scowcroft: More on Imaginaries in p-adic Fields. J. Symb. Log. 62(1): 1-13 (1997)
1993
6		Philip Scowcroft, Angus Macintyre: On the Elimination of Imaginaries from Certain Valued Fields. Ann. Pure Appl. Logic 61(3): 241-276 (1993)
1990
5		Philip Scowcroft: A New Model for Intuitionistic Analysis. Ann. Pure Appl. Logic 47(2): 145-165 (1990)
1989
4		Philip Scowcroft: More on Brouwer's Refutations. Ann. Pure Appl. Logic 41(1): 83-91 (1989)
1988
3		Philip Scowcroft: A Note on Definable Skolem Functions. J. Symb. Log. 53(3): 905-911 (1988)
2		Philip Scowcroft: More on Definable Sets of p-Adic Numbers. J. Symb. Log. 53(3): 912-920 (1988)
1		Philip Scowcroft, Lou van den Dries: On the Structure of Semialgebraic Sets Over p-Adic Fields. J. Symb. Log. 53(4): 1138-1164 (1988)

Coauthor Index

1	Lou van den Dries	[1]
2	Angus Macintyre	[6]