Definability in hereditarily finite manifolds

zbMATH Open0874.03042MaRDI QIDQ1363950FDOQ1363950

Authors: Yuri L. Ershov 

Publication date: 5 November 1997

Published in: Doklady Mathematics (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 2154089
• On \(\Sigma\)-definability of hereditarily finite and list superstructures
• Computable model theory over the reals
• scientific article; zbMATH DE number 2047495
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

zbMATH Keywords

hereditarily finite superstructuresreal number fielddense linear ordersprime setsSigma-definabilityuncountable models

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Computable structure theory, computable model theory (03C57) Interpolation, preservation, definability (03C40)

Cited In (10)

• Title not available (Why is that?)
• Hereditarily finite Finsler sets
• The lattice of definability: origins, recent developments, and further directions
• Title not available (Why is that?)
• Computable model theory over the reals
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• Title not available (Why is that?)
• On \(\Sigma\)-definability of hereditarily finite and list superstructures
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
• Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures

This page was built for publication: Definability in hereditarily finite manifolds

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