scientific article; zbMATH DE number 6261977

MaRDI QIDQ5398233zbMATH OpenFDO

Authors V. S. Amstislavskiĭ

Publication date 26 February 2014

zbMATH Keywords

decidability of theorieselementary theorygeneralized method of interpretationslattice of continuous functionsreducibility to theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 3870002
• scientific article; zbMATH DE number 3870001
• Theory of function spaces
• scientific article; zbMATH DE number 578745
• Spaces of continuous functions in elementary generic extensions
• Elementary Functional Analysis
• scientific article; zbMATH DE number 2243106
• Elementary functional analysis
• Elementary functional analysis
• Function theory and ^p spaces

Cited in

(5)

• Spaces of continuous functions in elementary generic extensions
• Decision procedures for the conditions true in certain metric structures
• Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
• Further generalizations of results on structures of continuous functions
• Decidable theories of non-projectable l-groups of continuous functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398233)