scientific article; zbMATH DE number 2154089

MaRDI QIDQ4664636zbMATH OpenFDO

Authors Alexey I. Stukachev

Publication date 8 April 2005

zbMATH Keywords

admissible sethereditarily finite superstructuresigma-definability

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis
• On -definability of hereditarily finite and list superstructures
• Numberings and definability in the hereditarily finite superstructure of a model
• scientific article; zbMATH DE number 2167511
• scientific article; zbMATH DE number 1396728
• Cardinalities of definable sets in superstructures over models
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• Definability in hereditarily finite manifolds
• Hereditary undecidability of some theories of finite structures
• scientific article; zbMATH DE number 1302874

Cited in

(12)

• Definability in hereditarily finite manifolds
• Countably categorical theories
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
• Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures
• Cardinalities of definable sets in superstructures over models
• A note on hereditarily Π10- and Σ10-complete sets of sentences
• scientific article; zbMATH DE number 1533641 (Why is no real title available?)
• scientific article; zbMATH DE number 2167511 (Why is no real title available?)
• scientific article; zbMATH DE number 1396728 (Why is no real title available?)
• On -definability of hereditarily finite and list superstructures
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• Interval extensions of orders and temporal approximation spaces

This page was built for publication:

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