Ekaterina B. Fokina

27 papers B 1C 5Journal 20
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Lopez-Escobar Theorem for continuous Domains.
J. Symb. Log.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
2025 J jnl
Syntactic characterization of learnability of structures with mind changes.
Inf. Comput.
Ekaterina B. Fokina, Steffen Lempp
2024 C conf
Computable Structure Theory of Partial Combinatory Algebras.
CiE
Ekaterina B. Fokina, Sebastiaan A. Terwijn
2024 C conf
Learning Families of Algebraic Structures from Text.
CiE
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
2021 J jnl
Degrees of bi-embeddable categoricity.
Comput.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro
2020 J jnl
Learning families of algebraic structures from informant.
Inf. Comput.
Nikolay Bazhenov, Ekaterina B. Fokina, Luca San Mauro
2019 J jnl
Bi-embeddability spectra and bases of spectra.
Math. Log. Q.
Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro
2019 J jnl
Computability-theoretic categoricity and Scott families.
Ann. Pure Appl. Log.
Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky
2019 J jnl
Degrees of bi-embeddable categoricity of equivalence structures.
Arch. Math. Log.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro
2019 B conf
Limit Learning Equivalence Structures.
ALT
Ekaterina B. Fokina, Timo Kötzing, Luca San Mauro
2019 J jnl
Measuring the complexity of reductions between equivalence relations.
Comput.
Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro
2018 J jnl
Preface.
Math. Struct. Comput. Sci.
Ekaterina B. Fokina
2016 J jnl
Categoricity Spectra for Rigid Structures.
Notre Dame J. Formal Log.
Ekaterina B. Fokina, Andrey N. Frolov, Iskander Sh. Kalimullin
2016 J jnl
Linear Orders Realized by C.E. Equivalence Relations.
J. Symb. Log.
Ekaterina B. Fokina, Bakhadyr Khoussainov, Pavel Semukhin, Daniel Turetsky
2014 — ch.
Computable model theory.
Turing's Legacy
Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov
2013 J jnl
Classes of structures with universe a subset of
J. Log. Comput.
Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller
2012 C conf
Equivalence Relations That Are Σ
WoLLIC
Ekaterina B. Fokina, Sy-David Friedman, André Nies
2012 J jnl
Isomorphism relations on computable structures.
J. Symb. Log.
Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
2012 J jnl
On Σ
Math. Log. Q.
Ekaterina B. Fokina, Sy-David Friedman
2011 J jnl
Classes of Ulm type and coding rank-homogeneous trees in other structures.
J. Symb. Log.
Ekaterina B. Fokina, Julia F. Knight, Alexander G. Melnikov, Sara Quinn, C. Safranski
2010 J jnl
Degrees of categoricity of computable structures.
Arch. Math. Log.
Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller
2010 J jnl
The effective theory of Borel equivalence relations.
Ann. Pure Appl. Log.
Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist
2009 C conf
Equivalence Relations on Classes of Computable Structures.
CiE
Ekaterina B. Fokina, Sy-David Friedman
2009 J jnl
Index sets for some classes of structures.
Ann. Pure Appl. Log.
Ekaterina B. Fokina
2009 J jnl
Intrinsic bounds on complexity and definability at limit levels.
J. Symb. Log.
John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn
2007 C conf
Index Sets of Computable Structures with Decidable Theories.
CiE
Ekaterina B. Fokina
2007 J jnl
Index sets for classes of high rank structures.
J. Symb. Log.
Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko