Philip Scowcroft - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2021

Adjoining a Strong Unit to an Archimedean Lattice-Ordered GroupAnthony W. Hager, Philip Scowcroft. order, 38(3):455-472, 2021. [doi]

2019

Model-completions for Abelian lattice-ordered groups with finitely many disjoint elementsPhilip Scowcroft. APAL, 170(6):673-698, 2019. [doi]

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

2018

l-Groups C(X) in continuous logicPhilip Scowcroft. AML, 57(3-4):239-272, 2018. [doi]

2016

A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountablePhilip Scowcroft. mlq, 62(3):258-277, 2016. [doi]

2015

More on Generic Dimension GroupsPhilip Scowcroft. ndjfl, 56(4):511-553, 2015. [doi]

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. APAL, 164(1):65, 2013. [doi]

2011

Some model-theoretic correspondences between dimension groups and AF algebrasPhilip Scowcroft. APAL, 162(9):755-785, 2011. [doi]

2009

Generalized Halfspaces in the Mixed-Integer RealmPhilip Scowcroft. ndjfl, 50(1):43-51, 2009. [doi]

2008

Generalized halfspaces in dimension groupsPhilip Scowcroft. APAL, 154(1):8-26, 2008. [doi]

2007

Elimination of unbounded quantifiers for some poly-regular groups of infinite rankPhilip Scowcroft. APAL, 149(1-3):40-80, 2007. [doi]

The Complexity of Bounded Quantifiers in Some Ordered Abelian GroupsPhilip Scowcroft. ndjfl, 48(4):521-550, 2007. [doi]

1999

Some Purely Topological Models for Intuitionistic AnalysisPhilip Scowcroft. APAL, 98(1-3):173-215, 1999.

1997

More on Imaginaries in p-adic FieldsPhilip Scowcroft. JSYML, 62(1):1-13, 1997.

1993

On the Elimination of Imaginaries from Certain Valued FieldsPhilip Scowcroft, Angus Macintyre. APAL, 61(3):241-276, 1993.

1990

A New Model for Intuitionistic AnalysisPhilip Scowcroft. APAL, 47(2):145-165, 1990.

1989

More on Brouwer s RefutationsPhilip Scowcroft. APAL, 41(1):83-91, 1989.

1988

On the Structure of Semialgebraic Sets Over p-Adic FieldsPhilip Scowcroft, Lou van den Dries. JSYML, 53(4):1138-1164, 1988.

More on Definable Sets of p-Adic NumbersPhilip Scowcroft. JSYML, 53(3):912-920, 1988.

A Note on Definable Skolem FunctionsPhilip Scowcroft. JSYML, 53(3):905-911, 1988.

A transfer theorem in constructive real algebraPhilip Scowcroft. APAL, 40(1):29-87, 1988. [doi]

1986

More on real algebra in scott's modelPhilip Scowcroft. APAL, 30(3):277-291, 1986. [doi]

1984

The real-algebraic structure of Scott's model of intuitionistic analysisPhilip Scowcroft. APAL, 27(3):275-308, 1984. [doi]

Sign in or sign up to see more results.

runs on WebDSL