Search results for "Philip Scowcroft"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Philip Scowcroft	Some model-theoretic correspondences between dimension groups and AF algebras.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Philip Scowcroft	Generalized Halfspaces in the Mixed-Integer Realm.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Philip Scowcroft	Generalized halfspaces in dimension groups.	Ann. Pure Appl. Logic	2008	DBLP DOI BibTeX RDF
1	Philip Scowcroft	The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.	Notre Dame Journal of Formal Logic	2007	DBLP BibTeX RDF
1	Philip Scowcroft	Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Philip Scowcroft	Some Purely Topological Models for Intuitionistic Analysis.	Ann. Pure Appl. Logic	1999	DBLP DOI BibTeX RDF
1	Philip Scowcroft	More on Imaginaries in p-adic Fields.	J. Symb. Log.	1997	DBLP BibTeX RDF
1	Philip Scowcroft, Angus Macintyre	On the Elimination of Imaginaries from Certain Valued Fields.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	Philip Scowcroft	A New Model for Intuitionistic Analysis.	Ann. Pure Appl. Logic	1990	DBLP DOI BibTeX RDF
1	Philip Scowcroft	More on Brouwer's Refutations.	Ann. Pure Appl. Logic	1989	DBLP DOI BibTeX RDF
1	Philip Scowcroft, Lou van den Dries	On the Structure of Semialgebraic Sets Over p-Adic Fields.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Philip Scowcroft	A Note on Definable Skolem Functions.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Philip Scowcroft	More on Definable Sets of p-Adic Numbers.	J. Symb. Log.	1988	DBLP BibTeX RDF

Publications of "Philip Scowcroft" ( http://dblp.L3S.de/Authors/Philip_Scowcroft )