Computable Model Theory over the Reals (Q2970968)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Computable Model Theory over the Reals	scientific article

Statements

scholarly article

0 references

Computable Model Theory over the Reals (English)

0 references

Computability and Complexity

0 references

publication date

4 April 2017

0 references

Andrey S. Morozov

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-50062-1_22

0 references

Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

0 references

0 references

0 references

0 references

Some presentations of the real number field

0 references

On \(\Sigma\)-rigid presentations of the real order

0 references

0 references

\(\Sigma\)-presentations of the ordering on the reals

0 references

A sufficient condition for nonpresentability of structures in hereditarily finite superstructures

0 references

Nonpresentability of some structures of analysis in hereditarily finite superstructures

0 references

Positive predicate structures for continuous data

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-50062-1_22

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2970968

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2970968&oldid=36313642"