Philip Scowcroft

23 papers Journal 23
YearRankTypeTitle / Venue / Authors
2021 J jnl
Adjoining a Strong Unit to an Archimedean Lattice-Ordered Group.
Order
Anthony W. Hager, Philip Scowcroft
2019 J jnl
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.
Philip Scowcroft
2019 J jnl
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.
Ann. Pure Appl. Log.
Philip Scowcroft
2018 J jnl
l-Groups C(X) in continuous logic.
Arch. Math. Log.
Philip Scowcroft
2016 J jnl
A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable.
Math. Log. Q.
Philip Scowcroft
2015 J jnl
More on Generic Dimension Groups.
Notre Dame J. Formal Log.
Philip Scowcroft
2013 J jnl
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.
Philip Scowcroft
2011 J jnl
Some model-theoretic correspondences between dimension groups and AF algebras.
Ann. Pure Appl. Log.
Philip Scowcroft
2009 J jnl
Generalized Halfspaces in the Mixed-Integer Realm.
Notre Dame J. Formal Log.
Philip Scowcroft
2008 J jnl
Generalized halfspaces in dimension groups.
Ann. Pure Appl. Log.
Philip Scowcroft
2007 J jnl
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.
Ann. Pure Appl. Log.
Philip Scowcroft
2007 J jnl
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.
Notre Dame J. Formal Log.
Philip Scowcroft
1999 J jnl
Some Purely Topological Models for Intuitionistic Analysis.
Ann. Pure Appl. Log.
Philip Scowcroft
1997 J jnl
More on Imaginaries in p-adic Fields.
J. Symb. Log.
Philip Scowcroft
1993 J jnl
On the Elimination of Imaginaries from Certain Valued Fields.
Ann. Pure Appl. Log.
Philip Scowcroft, Angus Macintyre
1990 J jnl
A New Model for Intuitionistic Analysis.
Ann. Pure Appl. Log.
Philip Scowcroft
1989 J jnl
More on Brouwer's Refutations.
Ann. Pure Appl. Log.
Philip Scowcroft
1988 J jnl
A Note on Definable Skolem Functions.
J. Symb. Log.
Philip Scowcroft
1988 J jnl
A transfer theorem in constructive real algebra.
Ann. Pure Appl. Log.
Philip Scowcroft
1988 J jnl
More on Definable Sets of p-Adic Numbers.
J. Symb. Log.
Philip Scowcroft
1988 J jnl
On the Structure of Semialgebraic Sets Over p-Adic Fields.
J. Symb. Log.
Philip Scowcroft, Lou van den Dries
1986 J jnl
More on real algebra in scott's model.
Ann. Pure Appl. Log.
Philip Scowcroft
1984 J jnl
The real-algebraic structure of Scott's model of intuitionistic analysis.
Ann. Pure Appl. Log.
Philip Scowcroft