The real-algebraic structure of Scott's model of intuitionistic analysis. - Philip Scowcroft (Ann. Pure Appl. Log., 1984)

More on real algebra in scott's model. - Philip Scowcroft (Ann. Pure Appl. Log., 1986)

A transfer theorem in constructive real algebra. - Philip Scowcroft (Ann. Pure Appl. Log., 1988)

A Note on Definable Skolem Functions. - Philip Scowcroft (J. Symb. Log., 1988)

More on Definable Sets of p-Adic Numbers. - Philip Scowcroft (J. Symb. Log., 1988)

On the Structure of Semialgebraic Sets Over p-Adic Fields. - Philip Scowcroft; Lou van den Dries (J. Symb. Log., 1988)

More on Brouwer's Refutations. - Philip Scowcroft (Ann. Pure Appl. Log., 1989)

A New Model for Intuitionistic Analysis. - Philip Scowcroft (Ann. Pure Appl. Log., 1990)

On the Elimination of Imaginaries from Certain Valued Fields. - Philip Scowcroft; Angus Macintyre (Ann. Pure Appl. Log., 1993)

More on Imaginaries in p-adic Fields. - Philip Scowcroft (J. Symb. Log., 1997)

Some Purely Topological Models for Intuitionistic Analysis. - Philip Scowcroft (Ann. Pure Appl. Log., 1999)

Elimination of unbounded quantifiers for some poly-regular groups of infinite rank. - Philip Scowcroft (Ann. Pure Appl. Log., 2007)

The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups. - Philip Scowcroft (Notre Dame J. Formal Log., 2007)

Generalized halfspaces in dimension groups. - Philip Scowcroft (Ann. Pure Appl. Log., 2008)

Generalized Halfspaces in the Mixed-Integer Realm. - Philip Scowcroft (Notre Dame J. Formal Log., 2009)

Some model-theoretic correspondences between dimension groups and AF algebras. - Philip Scowcroft (Ann. Pure Appl. Log., 2011)

Erratum to "Elimination of unbounded quantifiers for some poly-regular groups of infinite rank" [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80]. - Philip Scowcroft (Ann. Pure Appl. Log., 2013)

More on Generic Dimension Groups. - Philip Scowcroft (Notre Dame J. Formal Log., 2015)

A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable. - Philip Scowcroft (Math. Log. Q., 2016)

l-Groups C(X) in continuous logic. - Philip Scowcroft (Arch. Math. Log., 2018)

Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements. - Philip Scowcroft (Ann. Pure Appl. Log., 2019)

Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698]. - Philip Scowcroft (Ann. Pure Appl. Log., 2019)

Adjoining a Strong Unit to an Archimedean Lattice-Ordered Group. - Anthony W. Hager; Philip Scowcroft (Order, 2021)