scientific article

zbMath0454.03004MaRDI QIDQ3901492

Gregory L. Cherlin

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

second order arithmeticcomplexity of the first-order theory of rings of continuous functions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Rings and algebras of continuous, differentiable or analytic functions (46E25)

Related Items (5)

$C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Hidden verification for computational mathematics ⋮ Defining integer-valued functions in rings of continuous definable functions over a topological field ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis

This page was built for publication: