Alexey Stukachev

On Processes and Structures

Alexey Stukachev, A. Stukachev, 2013, CiE.

Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics

Alexey Stukachev, A. Stukachev, 2020, DCAI.

Presentations of Structures in Admissible Sets

Alexey Stukachev, 2005, CiE.

On Mass Problems of Presentability

Alexey Stukachev, A. Stukachev, 2006, TAMC.

Effective model theory: approach via σ-definability

Joel David Hamkins, Denis R. Hirschfeldt, Noam Greenberg, 2013 .