Philip Scowcroft

Available identifiers

zbMath Open scowcroft.philipMaRDI QIDQ292830

List of research outcomes

Publication	Date of Publication	Type
$C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit	2023-05-23	Paper
Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group	2023-02-15	Paper
Adjoining a strong unit to an Archimedean lattice-ordered group	2021-11-19	Paper
Existentially closed closure algebras	2021-09-07	Paper
Essential adjunction of a strong unit to an Archimedean lattice-ordered group	2020-07-13	Paper
Corrigendum to: ``Model-completions for abelian lattice-ordered groups with finitely many disjoint elements	2019-10-07	Paper
Decision procedures for the conditions true in certain metric structures	2019-05-23	Paper
Model-completions for abelian lattice-ordered groups with finitely many disjoint elements	2019-04-30	Paper
\(l\)-groups \(C(X)\) in continuous logic	2018-04-17	Paper
A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable	2016-06-24	Paper
Algebraically closed and existentially closed abelian lattice-ordered groups	2016-06-09	Paper
More on generic dimension groups	2015-11-30	Paper
Erratum to: ``Elimination of unbounded quantifiers for some poly-regular groups of infinite rank	2012-11-20	Paper
Existentially closed dimension groups	2012-04-26	Paper
Some model-theoretic correspondences between dimension groups and AF algebras	2011-09-22	Paper
A representation of convex semilinear sets	2010-08-13	Paper
Generalized halfspaces in the mixed-integer realm	2009-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q3602611	2009-02-12	Paper
Generalized halfspaces in dimension groups	2008-05-23	Paper
The complexity of bounded quantifiers in some ordered abelian groups	2008-04-29	Paper
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank	2007-11-27	Paper
Nonnegative solvability of linear equations in certain ordered rings	2006-05-17	Paper
Some purely topological models for intuitionistic analysis	2000-09-15	Paper
More on imaginaries in p-adic fields	1997-05-28	Paper
Cross-sections for \(p\)-adically closed fields	1996-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4764119	1995-12-13	Paper
On the elimination of imaginaries from certain valued fields	1994-09-01	Paper
A new model for intuitionistic analysis	1990-01-01	Paper
Between groups and rings	1989-01-01	Paper
Some continuous Positivstellensätze	1989-01-01	Paper
On the structure of semialgebraic sets over p-adic fields	1988-01-01	Paper
A note on definable Skolem functions	1988-01-01	Paper
More on definable sets of p-adic numbers	1988-01-01	Paper
Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure	1988-01-01	Paper
More on real algebra in Scott's model	1986-01-01	Paper
The real-algebraic structure of Scott's model of intuitionistic analysis	1984-01-01	Paper

Research outcomes over time

This page was built for person: Philip Scowcroft