scientific article; zbMATH DE number 1302874
From MaRDI portal
Publication:4249360
zbMath0940.03043MaRDI QIDQ4249360
Publication date: 19 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveycategoricityconstructivizationrecursive model theory\(\Sigma\)-definability in admissible sets\(\Sigma\)-definability of algebraic structuresKPU-modelssaturated enough model
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57)
Related Items (13)
Interval extensions of orders and temporal approximation spaces ⋮ On some reducibility and existential interpretability of structures ⋮ A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ Nonpresentability of some structures of analysis in hereditarily finite superstructures ⋮ \(\Sigma \)-definability of uncountable models of \(c\)-simple theories ⋮ Countably categorical theories ⋮ On \(\Sigma\)-rigid presentations of the real order ⋮ Computable Model Theory over the Reals ⋮ Countable structures \(\Sigma \)-definable over classical continuous number systems ⋮ Some presentations of the real number field ⋮ Maximality and minimality under limitwise monotonic reducibility ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) ⋮ \(\Sigma\)-presentations of the ordering on the reals
This page was built for publication:
