2008 |
10 | EE | Philip Scowcroft:
Generalized halfspaces in dimension groups.
Ann. Pure Appl. Logic 154(1): 8-26 (2008) |
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) |