Further Generalizations of Results on Structures of Continuous Functions

DOI10.1007/s10958-016-2848-4zbMath1349.03007OpenAlexW2342623140MaRDI QIDQ5741385

V. S. Amstislavskiĭ

Publication date: 22 July 2016

Published in: Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-016-2848-4

zbMATH Keywords

perfectly normal spaceelementary theorydecidability of theorieslattice of continuous functionsgeneralized method of interpretations

Mathematics Subject Classification ID

Continuous maps (54C05) Decidability of theories and sets of sentences (03B25)

Cites Work

• Topological model theory
• Nonsmooth calculus
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• On Countably Compact, Perfectly Normal Spaces
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Undecidability of Some Topological Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Further Generalizations of Results on Structures of Continuous Functions