Philip Scowcroft

According to our database, Philip Scowcroft authored at least 23 papers between 1984 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Adjoining a Strong Unit to an Archimedean Lattice-Ordered Group.

Anthony W. Hager, Philip Scowcroft

Order, 2021

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

Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.

Philip Scowcroft

Ann. Pure Appl. Log., 2019

2018

l-Groups C(X) in continuous logic.

Philip Scowcroft

Arch. Math. Log., 2018

2016

A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable.

Philip Scowcroft

Math. Log. Q., 2016

2015

More on Generic Dimension Groups.

Philip Scowcroft

Notre Dame J. Formal Log., 2015

2013

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

2011

Some model-theoretic correspondences between dimension groups and AF algebras.

Philip Scowcroft

Ann. Pure Appl. Log., 2011

2009

Generalized Halfspaces in the Mixed-Integer Realm.

Philip Scowcroft

Notre Dame J. Formal Log., 2009

2008

Generalized halfspaces in dimension groups.

Philip Scowcroft

Ann. Pure Appl. Log., 2008

2007

The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.

Philip Scowcroft

Notre Dame J. Formal Log., 2007

Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.

Philip Scowcroft

Ann. Pure Appl. Log., 2007

1999

Some Purely Topological Models for Intuitionistic Analysis.

Philip Scowcroft

Ann. Pure Appl. Log., 1999

1997

More on Imaginaries in p-adic Fields.

Philip Scowcroft

J. Symb. Log., 1997

1993

On the Elimination of Imaginaries from Certain Valued Fields.

Philip Scowcroft, Angus Macintyre

Ann. Pure Appl. Log., 1993

1990

A New Model for Intuitionistic Analysis.

Philip Scowcroft

Ann. Pure Appl. Log., 1990

1989

More on Brouwer's Refutations.

Philip Scowcroft

Ann. Pure Appl. Log., 1989

1988

On the Structure of Semialgebraic Sets Over p-Adic Fields.

Philip Scowcroft, Lou van den Dries

J. Symb. Log., 1988

More on Definable Sets of p-Adic Numbers.

Philip Scowcroft

J. Symb. Log., 1988

A Note on Definable Skolem Functions.

Philip Scowcroft

J. Symb. Log., 1988

A transfer theorem in constructive real algebra.

Philip Scowcroft

Ann. Pure Appl. Log., 1988

1986

More on real algebra in scott's model.

Philip Scowcroft

Ann. Pure Appl. Log., 1986

1984

The real-algebraic structure of Scott's model of intuitionistic analysis.

Philip Scowcroft

Ann. Pure Appl. Log., 1984