dblp.uni-trier.dewww.uni-trier.de

Philip Scowcroft

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)