Philip Scowcroft

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 5

Top Topics

Application Of Artificial Neural Networks

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Anthony W. Hager, Philip Scowcroft
Adjoining a Strong Unit to an Archimedean Lattice-Ordered Group. Order 38 (3) (2021)
Philip Scowcroft
Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698]. Ann. Pure Appl. Log. 170 (11) (2019)
Philip Scowcroft
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements. Ann. Pure Appl. Log. 170 (6) (2019)
Philip Scowcroft
l-Groups C(X) in continuous logic. Arch. Math. Log. 57 (3-4) (2018)
Philip Scowcroft
A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable. Math. Log. Q. 62 (3) (2016)
Philip Scowcroft
More on Generic Dimension Groups. Notre Dame J. Formal Log. 56 (4) (2015)
Philip Scowcroft
Erratum to "Elimination of unbounded quantifiers for some poly-regular groups of infinite rank" [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80]. Ann. Pure Appl. Log. 164 (1) (2013)
Philip Scowcroft
Some model-theoretic correspondences between dimension groups and AF algebras. Ann. Pure Appl. Log. 162 (9) (2011)
Philip Scowcroft
Generalized Halfspaces in the Mixed-Integer Realm. Notre Dame J. Formal Log. 50 (1) (2009)
Philip Scowcroft
Generalized halfspaces in dimension groups. Ann. Pure Appl. Log. 154 (1) (2008)
Philip Scowcroft
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank. Ann. Pure Appl. Log. 149 (1-3) (2007)
Philip Scowcroft
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups. Notre Dame J. Formal Log. 48 (4) (2007)
Philip Scowcroft
Some Purely Topological Models for Intuitionistic Analysis. Ann. Pure Appl. Log. 98 (1-3) (1999)
Philip Scowcroft
More on Imaginaries in p-adic Fields. J. Symb. Log. 62 (1) (1997)
Philip Scowcroft, Angus Macintyre
On the Elimination of Imaginaries from Certain Valued Fields. Ann. Pure Appl. Log. 61 (3) (1993)
Philip Scowcroft
A New Model for Intuitionistic Analysis. Ann. Pure Appl. Log. 47 (2) (1990)
Philip Scowcroft
More on Brouwer's Refutations. Ann. Pure Appl. Log. 41 (1) (1989)
Philip Scowcroft, Lou van den Dries
On the Structure of Semialgebraic Sets Over p-Adic Fields. J. Symb. Log. 53 (4) (1988)
Philip Scowcroft
More on Definable Sets of p-Adic Numbers. J. Symb. Log. 53 (3) (1988)
Philip Scowcroft
A Note on Definable Skolem Functions. J. Symb. Log. 53 (3) (1988)
Philip Scowcroft
A transfer theorem in constructive real algebra. Ann. Pure Appl. Log. 40 (1) (1988)
Philip Scowcroft
More on real algebra in scott's model. Ann. Pure Appl. Log. 30 (3) (1986)
Philip Scowcroft
The real-algebraic structure of Scott's model of intuitionistic analysis. Ann. Pure Appl. Log. 27 (3) (1984)