-preorderings in HF(R )

DOI10.1007/S10469-019-09560-0MaRDI QIDQ2300935zbMATH OpenOpenAlexFDO

Authors Andrei S. Morozov

Publication date 28 February 2020

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-019-09560-0

zbMATH Keywords

ordinalreal numbershereditarily finite superstructure\( \Sigma\)-definable preordering

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• On \(\Sigma\)-rigid presentations of the real order
• \(\Sigma\)-presentations of the ordering on the reals
• On \(\Sigma\)-definability of hereditarily finite and list superstructures
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Nonpresentability of some structures of analysis in hereditarily finite superstructures

Cites work

• scientific article; zbMATH DE number 3809544 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1302874 (Why is no real title available?)
• scientific article; zbMATH DE number 2154082 (Why is no real title available?)
• scientific article; zbMATH DE number 2154089 (Why is no real title available?)
• scientific article; zbMATH DE number 890268 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Definability in hereditarily finite manifolds
• Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures
• Degrees of presentability of structures. I
• HF-computability
• Model Theory
• Nonpresentability of some structures of analysis in hereditarily finite superstructures
• Some presentations of the real number field
• Strong \(\Delta_1\)-definability of a model in an admissible set
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

Cited in

(6)

• On \(\Sigma\)-rigid presentations of the real order
• \(\Sigma\)-presentations of the ordering on the reals
• One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\))
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
• Nonpresentability of some structures of analysis in hereditarily finite superstructures

This page was built for publication: \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)

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