The following pages link to Philip Scowcroft (Q292830):
Displaying 36 items.
- Algebraically closed and existentially closed abelian lattice-ordered groups (Q292831) (← links)
- Some model-theoretic correspondences between dimension groups and AF algebras (Q639676) (← links)
- A new model for intuitionistic analysis (Q750439) (← links)
- Essential adjunction of a strong unit to an Archimedean lattice-ordered group (Q776991) (← links)
- More on generic dimension groups (Q894253) (← links)
- Some continuous Positivstellensätze (Q909731) (← links)
- Generalized halfspaces in dimension groups (Q925849) (← links)
- A representation of convex semilinear sets (Q987186) (← links)
- Generalized halfspaces in the mixed-integer realm (Q1038603) (← links)
- The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- Model-completions for abelian lattice-ordered groups with finitely many disjoint elements (Q1740455) (← links)
- \(l\)-groups \(C(X)\) in continuous logic (Q1745350) (← links)
- Erratum to: ``Elimination of unbounded quantifiers for some poly-regular groups of infinite rank'' (Q1759368) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- Cross-sections for \(p\)-adically closed fields (Q1921937) (← links)
- Existentially closed closure algebras (Q1981991) (← links)
- Between groups and rings (Q2277538) (← links)
- Corrigendum to: ``Model-completions for abelian lattice-ordered groups with finitely many disjoint elements'' (Q2326421) (← links)
- Decision procedures for the conditions true in certain metric structures (Q2415938) (← links)
- The complexity of bounded quantifiers in some ordered abelian groups (Q2425354) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Adjoining a strong unit to an Archimedean lattice-ordered group (Q2665831) (← links)
- Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group (Q2683741) (← links)
- A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable (Q2813681) (← links)
- On the structure of semialgebraic sets over <i>p</i>-adic fields (Q3033881) (← links)
- (Q3602611) (← links)
- A note on definable Skolem functions (Q3813802) (← links)
- More on definable sets of <i>p</i>-adic numbers (Q3813803) (← links)
- More on imaginaries in <i>p</i>-adic fields (Q4338310) (← links)
- (Q4764119) (← links)
- Existentially closed dimension groups (Q5389415) (← links)
- Nonnegative solvability of linear equations in certain ordered rings (Q5469198) (← links)
- Decompositions of finitely generated modules over <i>C</i>(<i>X</i>): sheaf semantics and a decision procedure (Q5749837) (← links)
- $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit (Q6039792) (← links)
