Mag. Dipl.-Ing. Dr.techn. Ekaterina Benavente-Fokina, Privatdoz. BA PhD
1090 Wien
Courses
Winter term 2026
-
051017 VO Theoretical Computer Science
Summer term 2026
-
051017 VO Theoretical Computer Science
Winter term 2025
-
051017 VO Theoretical Computer Science
Publications
The computable embedding problem. / Carson, J.; Fokina, Ekaterina; Harizanov, Valentina et al.
In: Algebra and Logic, Vol. 50, No. 6, 2012, p. 478-493.
Publications: Contribution to journal › Article › Peer Reviewed
Classes of Ulm type and coding rank-homogeneous trees in other structures. / Fokina, Ekaterina; Knight, Julia (Corresponding author); Melnikov, Alexander G. (Corresponding author) et al.
In: Journal of Symbolic Logic, Vol. 76, No. 3, 2011, p. 846-869.
Publications: Contribution to journal › Article › Peer Reviewed
Degrees of Categoricity of Computable Structures. / Fokina, Ekaterina; Kalimullin, Iskander; Miller, Russell.
In: Archive for Mathematical Logic, Vol. 49, No. 1, 2010, p. 51-67.
Publications: Contribution to journal › Article › Peer Reviewed
The effective theory of Borel equivalence relations. / Fokina, Ekaterina; Friedman, Sy-David; Törnquist, Asger Dag.
In: Annals of Pure and Applied Logic, Vol. 161, No. 7, 2010, p. 837-850.
Publications: Contribution to journal › Article › Peer Reviewed
Equivalence Relations on Classes of Computable Structures. / Fokina, Ekaterina; Friedman, Sy-David.
In: Lecture Notes in Computer Science, Vol. 5635, 2009, p. 198-207.
Publications: Contribution to journal › Article › Peer Reviewed
Intrinsic bounds on complexity and definability at limit levels. / Fokina, Ekaterina; Chisholm, John; Knight, Julia et al.
In: Journal of Symbolic Logic, Vol. 74, No. 3, 2009, p. 1047-1060.
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