$\Sigma$-Definability in Hereditarily Finite Superstructures and Pairs of Models
A. I. Stukachev

This publication is cited in the following articles:

1. A. I. Stukachev, “Interval extensions of orders and temporal approximation spaces”, Siberian Math. J., 62:4 (2021), 730–741          
2. A. S. Morozov, “$\Sigma$-preorderings in ${\mathbb{HF}(\mathbb{R})}$”, Algebra and Logic, 58:5 (2019), 405–416        
3. Algebraic Computability and Enumeration Models, 2016, 155  
4. Alexey Stukachev, Effective Mathematics of the Uncountable, 2013, 164  
5. V. G. Puzarenko, “Countably categorical theories”, Algebra and Logic, 51:3 (2012), 241–258          
6. A. I. Stukachev, “$\Sigma$-definability of uncountable models of $c$-simple theories”, Siberian Math. J., 51:3 (2010), 515–524          
7. Stukachev A., “Presentations of structures in admissible sets”, New Computational Paradigms, Lecture Notes in Computer Science, 3526, 2005, 470–478