scientific article; zbMATH DE number 934359
admissible setdefinabilitydynamic logicgeneralized computabilityhereditary finite superstructure over a structureKPU-models
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
- On computable presentations of some functional lattices
- Foundations of programmology
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability
- Computable torsion abelian groups
- Conditional terms in semantic programming
- Tarski-type problems for free associative algebras
- Universal functions and unbounded branching trees
- Absolute and relative properties of negatively numbered families
- Inner constructivizability of functional structures
- Constructing decidable graphs from decidable structures
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
- \(\Sigma\)-presentations of the ordering on the reals
- Properties of \(s\Sigma\)-reducibility
- On some reducibility and existential interpretability of structures
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Constructibility and decidability versus domain independence and absoluteness
- Computable model theory over the reals
- scientific article; zbMATH DE number 47306 (Why is no real title available?)
- scientific article; zbMATH DE number 1534487 (Why is no real title available?)
- Polish group actions and effectivity
- scientific article; zbMATH DE number 2151710 (Why is no real title available?)
- scientific article; zbMATH DE number 890268 (Why is no real title available?)
- scientific article; zbMATH DE number 934870 (Why is no real title available?)
- Fixed points on the real numbers without the equality test
- scientific article; zbMATH DE number 1420850 (Why is no real title available?)
- On processes and structures
- Families of permutations and ideals of Turing degrees
- Interval extensions of orders and temporal approximation spaces
- Universal functions over trees
- Uniformization in superstructures over some extensions of \(\mathbb{R}\)
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 Q4895089)
