The uniformization property in hereditary finite superstructures
From MaRDI portal
Publication:1288095
zbMath0914.03055MaRDI QIDQ1288095
Publication date: 10 May 1999
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
uniformizationadmissible setSkolem functionhereditarily finite setshereditarily finite superstructures over fieldsregular theory
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)
Related Items (4)
Interval extensions of orders and temporal approximation spaces ⋮ Inner constructivizability of functional structures ⋮ On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models ⋮ Properties of \(s\Sigma\)-reducibility
This page was built for publication: The uniformization property in hereditary finite superstructures
