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