The uniformization property in hereditary finite superstructures
From MaRDI portal
Publication:1288095
A theory is called regular provided it is model-complete and decidable. The author proves that, for an arbitrary model \(M\) of a regular theory, a superstructure HF\((M)\), which is the admissible set of all hereditarily finite sets over \(M\), possesses the uniformization property if and only if \(M\) is a model with \(\Sigma\)-definable Skolem functions. As a corollary, he derives that this property is satisfied for hereditarily finite superstructures over the fields of reals and \(p\)-adic numbers.
Recommendations
- Publication:4936677
- On universal functions in hereditarily finite superstructures
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Uniformization in superstructures over some extensions of \(\mathbb{R}\)
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
- Hereditary properties of finite ultrametric spaces
- Hereditary uniform property
- Supra-hereditary properties of hypergraphs
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- Hereditarily separable groups and monochromatic uniformization
Cited in
(7)- Inner constructivizability of functional structures
- Properties of \(s\Sigma\)-reducibility
- scientific article; zbMATH DE number 1396727 (Why is no real title available?)
- Hereditary uniform property
- On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models
- Interval extensions of orders and temporal approximation spaces
- Uniformization in superstructures over some extensions of \(\mathbb{R}\)
This page was built for publication: The uniformization property in hereditary finite superstructures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1288095)
