-preorderings in HF(R )

DOI10.1007/S10469-019-09560-0zbMATH Open1498.03082OpenAlexW2992594106MaRDI QIDQ2300935FDOQ2300935

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

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

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)

Cites Work

• HF-computability
• Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some presentations of the real number field
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Title not available (Why is that?)
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• Degrees of presentability of structures. I
• Title not available (Why is that?)
• Strong \(\Delta_1\)-definability of a model in an admissible set
• Nonpresentability of some structures of analysis in hereditarily finite superstructures
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Definability in hereditarily finite manifolds
• Title not available (Why is that?)
• Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures

Cited In (1)

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

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)