Interval extensions of orders and temporal approximation spaces

DOI10.1134/S0037446621040157OpenAlexW3190708373MaRDI QIDQ820474

A. I. Stukachev

Publication date: 27 September 2021

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446621040157

zbMATH Keywords

linear orderapproximation spaceinterval extensionmathematical linguisticseffective model theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computability and recursion theory (03Dxx) Model theory (03Cxx)

Cites Work

• Maintaining knowledge about temporal intervals
• \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
• The theory of A-spaces
• First-order dynamic logic
• The uniformization property in hereditary finite superstructures
• Properties of \(s\Sigma\)-reducibility
• Generalized hyperarithmetical computability over structures
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interval extensions of orders and temporal approximation spaces