![]() | ![]() |
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) |
1 | Lou van den Dries | [1] |
2 | Angus Macintyre | [6] |