Mag. Dipl.-Ing. Dr.techn. Ekaterina Benavente-Fokina, Privatdoz. BA PhD
1090 Wien
Courses
Summer term 2026
-
051017 VO Theoretical Computer Science
Winter term 2025
-
051017 VO Theoretical Computer Science
Summer term 2025
-
051013 VO Theoretical Computer Science
Publications
Degrees of bi-embeddable categoricity of equivalence structures. / Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino et al.
In: Journal of Symbolic Logic, Vol. 58, No. 5-6, 08.2019, p. 543-563.
Publications: Contribution to journal › Article
Preface. / Fokina, Ekaterina.
In: Mathematical Structures in Computer Science, Vol. 28, No. 3, 03.2018, p. 338-339.
Publications: Contribution to journal › Editorial
Linear Orders Realized by C.E. Equivalence Relations. / Fokina, Ekaterina; Khoussainov, Bakhadyr; Semukhin, Pavel et al.
In: Journal of Symbolic Logic, Vol. 81, No. 2, 06.2016, p. 463-482.
Publications: Contribution to journal › Article › Peer Reviewed
Categoricity spectra for rigid structures. / Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander.
In: Notre Dame Journal of Formal Logic, Vol. 57, No. 1, 2016, p. 45-57.
Publications: Contribution to journal › Article › Peer Reviewed
Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations. / Turetsky, Daniel; Fokina, Ekaterina; Kudinov, Oleg et al.
In: Algebra and Logic, Vol. 54, No. 4, 2015, p. 336-341.
Publications: Contribution to journal › Article › Peer Reviewed
Computable model theory. / Fokina, Ekaterina; Harizanov, Valentina; Melnikov, Alexander.
Turing’s Legacy: ASL Lecture Notes in Logic. 2014. p. 124-194.
Publications: Contribution to book › Chapter
Classes of computable structures with universe a subset of $\omega_1$. / Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia et al.
In: Journal of Logic and Computation, Vol. 23, No. 6, 2013, p. 1249-1265.
Publications: Contribution to journal › Article › Peer Reviewed
Equivalence Relations That Are $\Sigma^0_3$ Complete For Computable Reducibility. / Fokina, Ekaterina; Friedman, Sy-David; Nies, André.
In: Lecture Notes in Computer Science, Vol. 7456, 2012, p. 26-33.
Publications: Contribution to journal › Article › Peer Reviewed
Isomorphism relations on computable structures. / Fokina, Ekaterina; Friedman, Sy-David; Harizanov, Valentina et al.
In: Journal of Symbolic Logic, Vol. 77, No. 1, 2012, p. 122-132.
Publications: Contribution to journal › Article › Peer Reviewed
On $\Sigma^1_1$ equivalence relations over the natural numbers. / Fokina, Ekaterina; Friedman, Sy-David.
In: Mathematical Logic Quarterly, Vol. 58, No. 1-2, 2012, p. 113-124.
Publications: Contribution to journal › Article › Peer Reviewed
Projects
Algorithm. Zufälligkeit
Benavente-Fokina, E. (Project Lead)
4/07/11 → 31/05/14
Project: Research funding
Algorithmic properties
Benavente-Fokina, E. (Project Lead)
7/12/09 → 31/12/11
Project: Research funding
Talks
Computability-Theoretic Categoricity at Levels 1 and 2
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Reverse Model Theory
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Equivalence relations in computable model theory
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Degrees of structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Degrees of Structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Degree spectra of structures under equivalence relations
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Equivalence relations on computable structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Equivalence relations on computable structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Complete $\Sigma^0_3$ equivalence relations
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Structures presentable by various types of automata
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Categoricity spectra of computable structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Spectra of categoricity of computable structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Categoricity spectra of rigid structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
$\Sigma^1_1$ equivalence relations on $\omega$
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Isomorphism and bi-embeddability among $\Sigma^1_1$ equivalence relations
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
The Effective Theory of Borel Equivalence Relations
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Equivalence Relations on Classes of Computable Structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Degrees of categoricity of computable structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
Equivalence relations on classes of computable structures
Fokina, E. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Other
More: Management & Team | Staff directory | Home