Further generalizations of results on structures of continuous functions

DOI10.1007/S10958-016-2848-4zbMATH Open1349.03007OpenAlexW2342623140MaRDI QIDQ5741385FDOQ5741385

Authors: 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

Recommendations

• scientific article; zbMATH DE number 6261977
• Decidability in elementary analysis. I
• Decision procedures for the conditions true in certain metric structures
• Solvable (and unsolvable) cases of the decision problem for fragments of analysis
• Decidable theories of non-projectable \(l\)-groups of continuous functions

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Title not available (Why is that?)
• Nonsmooth calculus
• Title not available (Why is that?)
• On Countably Compact, Perfectly Normal Spaces
• Title not available (Why is that?)
• Undecidability of Some Topological Theories
• Title not available (Why is that?)
• Topological model theory
• Title not available (Why is that?)
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Generalization of New Continuous Functions in Topological Spaces
• On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions
• Title not available (Why is that?)
• Structure of the set of continuous functions with Luzin's property (N)
• Generalized distributivity for real, continuous functions. II: Local solutions in the continuous case

This page was built for publication: Further generalizations of results on structures of continuous functions

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