| Publication | Date of Publication | Type |
|---|
Higher-order mathematical operational semantics (early ideas)
| 2024-11-26 | Paper |
Victor Danilovich Mazurov (on his 80-th birthday)
Sibirskie Elektronnye Matematicheskie Izvestiya | 2024-11-26 | Paper |
Marat Mirzaevich Arslanov (on his eightieth birthday)
Russian Mathematical Surveys | 2024-11-15 | Paper |
Computable Boolean algebras and complexity of the Fréchet ideal
Journal of Mathematical Sciences (New York) | 2024-11-07 | Paper |
Logical predicates in higher-order mathematical operational semantics
| 2024-10-30 | Paper |
Representing guardedness in call-by-value
| 2024-10-21 | Paper |
Quantitative Hennessy-Milner theorems via notions of density
| 2024-09-25 | Paper |
Shades of iteration: from Elgot to Kleene
| 2024-06-26 | Paper |
Stateful structural operational semantics
| 2024-05-27 | Paper |
Academician Tugal Zhanlav
Journal of Mathematical Sciences (New York) | 2024-04-23 | Paper |
A point-free perspective on lax extensions and predicate liftings
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
scientific article; zbMATH DE number 7790439 (Why is no real title available?)
| 2024-01-17 | Paper |
Kantorovich functors and characteristic logics for behavioural distances
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
| 2023-02-03 | Paper |
Rogers semilattices with least and greatest elements in the Ershov hierarchy
Algebra and Logic | 2023-01-04 | Paper |
Towards a Higher-Order Mathematical Operational Semantics
| 2022-10-24 | Paper |
Quantitative Hennessy-Milner Theorems via Notions of Density
| 2022-07-19 | Paper |
The degree of decidable categoricity of a model with infinite solutions for complete formulas
Algebra and Logic | 2021-12-01 | Paper |
A semantics for hybrid iteration
| 2021-08-04 | Paper |
A metalanguage for guarded iteration
Theoretical Computer Science | 2021-07-22 | Paper |
Implementing hybrid semantics: from functional to imperative
| 2021-07-08 | Paper |
Sergei Ivanovich Adian
Russian Mathematical Surveys | 2021-06-04 | Paper |
On decidable categoricity and almost prime models
Siberian Advances in Mathematics | 2020-10-06 | Paper |
Local local reasoning: a BI-hyperdoctrine for full ground store
| 2020-09-23 | Paper |
Toward a uniform theory of effectful state machines
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Yurii Leonidovich Ershov (on his 80th birthday)
Russian Mathematical Surveys | 2020-09-04 | Paper |
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
Russian Mathematical Surveys | 2020-03-11 | Paper |
Turing degrees of complete formulas of almost prime models
Algebra and Logic | 2020-02-28 | Paper |
Decompositions of decidable abelian groups
International Journal of Algebra and Computation | 2020-02-17 | Paper |
Generic Hoare logic for order-enriched effects with exceptions
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Logical language of description of polynomial computing
Doklady Mathematics | 2019-07-18 | Paper |
scientific article; zbMATH DE number 7080198 (Why is no real title available?)
| 2019-07-12 | Paper |
Recursive terms in semantic programming
Siberian Mathematical Journal | 2019-03-13 | Paper |
Hanf number for Scott sentences of computable structures
Archive for Mathematical Logic | 2019-01-14 | Paper |
A metalanguage for guarded iteration
Theoretical Aspects of Computing – ICTAC 2018 | 2018-11-23 | Paper |
Unguarded recursion on coinductive resumptions
| 2018-09-06 | Paper |
Guarded traced categories
| 2018-07-17 | Paper |
Complete Elgot monads and coalgebraic resumptions
| 2018-04-23 | Paper |
Conditional terms in semantic programming
Siberian Mathematical Journal | 2018-02-06 | Paper |
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
The index set of the groups autostable relative to strong constructivizations
Siberian Mathematical Journal | 2017-06-30 | Paper |
Unifying guarded and unguarded iteration
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Unguarded recursion on coinductive resumptions
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Index sets of constructive models that are autostable under strong constructivizations
Journal of Mathematical Sciences | 2016-07-22 | Paper |
The index set of linear orderings that are autostable relative to strong constructivizations
| 2016-07-22 | Paper |
Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
Algebra and Logic | 2016-05-12 | Paper |
Hanf Number for Scott Sentences of Computable Structures
| 2016-02-02 | Paper |
Index sets of autostable relative to strong constructivizations constructive models for familiar classes
Doklady Mathematics | 2016-01-29 | Paper |
Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
Algebra and Logic | 2016-01-13 | Paper |
Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013)
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
Algebra and Logic | 2015-10-27 | Paper |
The index set of Boolean algebras autostable relative to strong constructivizations
Siberian Mathematical Journal | 2015-09-28 | Paper |
Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
Doklady Mathematics | 2015-08-21 | Paper |
Generalized computable universal numberings
Algebra and Logic | 2015-05-11 | Paper |
Towards a Coalgebraic Chomsky Hierarchy
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Degrees of autostability relative to strong constructivizations
Proceedings of the Steklov Institute of Mathematics | 2014-08-04 | Paper |
Monodic fragments of probabilistic first-order logic
Automata, Languages, and Programming | 2014-07-01 | Paper |
Coalgebraic Weak Bisimulation from Recursive Equations over Monads
Automata, Languages, and Programming | 2014-07-01 | Paper |
scientific article; zbMATH DE number 6262009 (Why is no real title available?)
| 2014-02-26 | Paper |
A coinductive calculus for asynchronous side-effecting processes
Information and Computation | 2014-01-16 | Paper |
Vladimir Petrovich Shunkov (obituary)
Russian Mathematical Surveys | 2013-12-17 | Paper |
Exploring the boundaries of monad tensorability on Set
Logical Methods in Computer Science | 2013-09-26 | Paper |
Trace semantics via generic observations
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Autostability of prime models under strong constructivizations
Algebra and Logic | 2012-06-29 | Paper |
Kleene monads: handling iteration in a framework of generic effects
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
On \(\Sigma^0_1\)-classification of relations on computable structures
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-21 | Paper |
On the role of mathematical logic in mathematical education
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-21 | Paper |
Algorithmic complexity of countable models of strongly minimal theories
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-21 | Paper |
Aleksandr Vasil'evich Kazhikhov. 1946--2005
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-11 | Paper |
A counterexample to tensorability of effects
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
A coinductive calculus for asynchronous side-effecting processes
Fundamentals of Computation Theory | 2011-08-19 | Paper |
Inductive inference and computable numberings
Theoretical Computer Science | 2011-04-05 | Paper |
On autostability of almost prime models relative to strong constructivizations
Russian Mathematical Surveys | 2011-03-10 | Paper |
Some remarks on completions of numberings
| 2011-01-13 | Paper |
On automorphic tuples of elements in computable models
| 2011-01-13 | Paper |
Decidability and computability of certain torsion-free abelian groups
Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
A generic complete dynamic logic for reasoning about purity and effects
Formal Aspects of Computing | 2010-05-28 | Paper |
Intrinsic bounds on complexity and definability at limit levels
Journal of Symbolic Logic | 2009-09-29 | Paper |
Categoricity of computable infinitary theories
Archive for Mathematical Logic | 2009-03-17 | Paper |
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy
Algebra and Logic | 2008-12-18 | Paper |
On two problems of Turing complexity for strongly minimal theories
Doklady Mathematics | 2008-11-10 | Paper |
On a Question of Frank Stephan
Lecture Notes in Computer Science | 2008-05-27 | Paper |
Computability and numberings
| 2008-04-29 | Paper |
Isomorphisms and definable relations on computable models
| 2008-04-14 | Paper |
Structures in Familiar Classes Which Have Scott Rank $\omega_1^{CK}$
| 2008-03-22 | Paper |
Index sets for classes of high rank structures
Journal of Symbolic Logic | 2008-02-25 | Paper |
Completeness of Global Evaluation Logic
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes
| 2007-07-30 | Paper |
Relatively Hyperimmune Relations on Structures
Algebra and Logic | 2007-07-26 | Paper |
Computability and computable models
| 2007-06-28 | Paper |
Rigid relations on constructive models
Doklady Mathematics | 2007-01-12 | Paper |
Elementary Theories for Rogers Semilattices
Algebra and Logic | 2006-11-17 | Paper |
9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005
Sibirskie Elektronnye Matematicheskie Izvestiya | 2006-08-24 | Paper |
Complexity of Categorical Theories with Computable Models
Algebra and Logic | 2006-07-18 | Paper |
Enumerations in computable structure theory
Annals of Pure and Applied Logic | 2005-10-26 | Paper |
Π11 relations and paths through
Journal of Symbolic Logic | 2005-08-29 | Paper |
scientific article; zbMATH DE number 2167508 (Why is no real title available?)
| 2005-05-12 | Paper |
scientific article; zbMATH DE number 2063214 (Why is no real title available?)
| 2004-03-29 | Paper |
scientific article; zbMATH DE number 2047478 (Why is no real title available?)
| 2004-02-29 | Paper |
scientific article; zbMATH DE number 2047485 (Why is no real title available?)
| 2004-02-29 | Paper |
scientific article; zbMATH DE number 2034244 (Why is no real title available?)
| 2004-01-28 | Paper |
scientific article; zbMATH DE number 2007813 (Why is no real title available?)
| 2003-11-24 | Paper |
scientific article; zbMATH DE number 2007847 (Why is no real title available?)
| 2003-11-24 | Paper |
Simple and immune relations on countable structures
Archive for Mathematical Logic | 2003-09-16 | Paper |
Trivial, strongly minimal theories are model complete after naming constants
Proceedings of the American Mathematical Society | 2003-09-10 | Paper |
Yuri Leonidovich Ershov (on his 60th birthday)
Russian Mathematical Surveys | 2003-06-25 | Paper |
scientific article; zbMATH DE number 1936725 (Why is no real title available?)
| 2003-06-25 | Paper |
The computable dimension of ordered abelian groups
Advances in Mathematics | 2003-05-27 | Paper |
scientific article; zbMATH DE number 1882393 (Why is no real title available?)
| 2003-03-16 | Paper |
scientific article; zbMATH DE number 1746558 (Why is no real title available?)
| 2002-05-28 | Paper |
scientific article; zbMATH DE number 1746560 (Why is no real title available?)
| 2002-05-28 | Paper |
scientific article; zbMATH DE number 1746561 (Why is no real title available?)
| 2002-05-28 | Paper |
Aleksandr Alekseevich Borovkov (on his 70th birthday)
Sibirskiĭ Matematicheskiĭ Zhurnal | 2001-10-11 | Paper |
Generalized computable numerations and nontrivial Rogers semilattices
Algebra i Logika | 2001-07-24 | Paper |
scientific article; zbMATH DE number 1531926 (Why is no real title available?)
| 2001-05-28 | Paper |
scientific article; zbMATH DE number 1531919 (Why is no real title available?)
| 2001-05-28 | Paper |
On the spectrum of degrees of decidable relations
Doklady Mathematics | 2001-02-13 | Paper |
scientific article; zbMATH DE number 1563993 (Why is no real title available?)
| 2001-02-12 | Paper |
scientific article; zbMATH DE number 1563994 (Why is no real title available?)
| 2001-02-12 | Paper |
scientific article; zbMATH DE number 1302871 (Why is no real title available?)
| 2001-01-07 | Paper |
scientific article; zbMATH DE number 1499091 (Why is no real title available?)
| 2000-09-03 | Paper |
scientific article; zbMATH DE number 1498414 (Why is no real title available?)
| 2000-08-30 | Paper |
scientific article; zbMATH DE number 1302875 (Why is no real title available?)
| 2000-07-05 | Paper |
Decidable Boolean algebras of low level
Annals of Pure and Applied Logic | 2000-06-14 | Paper |
scientific article; zbMATH DE number 1450824 (Why is no real title available?)
| 2000-05-23 | Paper |
scientific article; zbMATH DE number 1302869 (Why is no real title available?)
| 2000-02-15 | Paper |
scientific article; zbMATH DE number 1390542 (Why is no real title available?)
| 2000-01-17 | Paper |
Computably categorical structures and expansions by constants
Journal of Symbolic Logic | 2000-01-09 | Paper |
scientific article; zbMATH DE number 1225790 (Why is no real title available?)
| 1998-11-22 | Paper |
scientific article; zbMATH DE number 1069962 (Why is no real title available?)
| 1997-10-01 | Paper |
scientific article; zbMATH DE number 1002913 (Why is no real title available?)
| 1997-04-23 | Paper |
scientific article; zbMATH DE number 871851 (Why is no real title available?)
| 1996-12-01 | Paper |
scientific article; zbMATH DE number 934728 (Why is no real title available?)
| 1996-10-14 | Paper |
Effectively infinite classes of enumerations
Siberian Advances in Mathematics | 1996-08-28 | Paper |
A unique positive enumeration
Siberian Advances in Mathematics | 1996-08-26 | Paper |
scientific article; zbMATH DE number 738897 (Why is no real title available?)
| 1995-04-24 | Paper |
Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)
Algebra and Logic | 1995-04-20 | Paper |
Effectively infinite classes of weak constructivizations of models
Algebra and Logic | 1995-04-20 | Paper |
Computable classes of constructivizations for models of finite constructivizability type
Siberian Mathematical Journal | 1994-11-08 | Paper |
Some effectively infinite classes of enumerations
Annals of Pure and Applied Logic | 1993-08-11 | Paper |
scientific article; zbMATH DE number 41688 (Why is no real title available?)
| 1992-09-17 | Paper |
The characterization of axiomatizable classes with strong epimorphisms
Siberian Advances in Mathematics | 1991-01-01 | Paper |
Σ-programming
American Mathematical Society Translations: Series 2 | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4116805 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4168660 (Why is no real title available?)
| 1989-01-01 | Paper |
Nilpotent groups of finite algorithmic dimension
Siberian Mathematical Journal | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4109007 (Why is no real title available?)
| 1989-01-01 | Paper |
Algorithmic dimension of nilpotent groups
Siberian Mathematical Journal | 1989-01-01 | Paper |
Data models and languages for their description
Eight Papers Translated from the Russian | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4118354 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4139721 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4047058 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4135384 (Why is no real title available?)
| 1987-01-01 | Paper |
Axiomatizable classes with strong homomorphisms
Studia Logica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3980456 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4007715 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4049008 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4051580 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4055021 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4059363 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4059364 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4037166 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4007714 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3918348 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3918347 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 4021108 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3973173 (Why is no real title available?)
| 1985-01-01 | Paper |
Strong \(\Delta ^ 0_ 2\) categoricity
Algebra and Logic | 1985-01-01 | Paper |
Examples of nonautostable systems
Siberian Mathematical Journal | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3911686 (Why is no real title available?)
| 1983-01-01 | Paper |
Universal recursively enumerable Boolean algebras
Siberian Mathematical Journal | 1983-01-01 | Paper |
Positive numerations of families with one-valued numerations
Algebra and Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3863176 (Why is no real title available?)
| 1982-01-01 | Paper |
A totally transcendental decidable theory without constructivizable homogeneous models
Algebra and Logic | 1981-01-01 | Paper |
Problem of the number of non-self-equivalent constructivizations
Algebra and Logic | 1981-01-01 | Paper |
Computable single-valued numerations
Algebra and Logic | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3781440 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3687367 (Why is no real title available?)
| 1980-01-01 | Paper |
Autostability of models and Abelian groups
Algebra and Logic | 1980-01-01 | Paper |
Autostability of models
Algebra and Logic | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3747093 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3724411 (Why is no real title available?)
| 1980-01-01 | Paper |
Numerations of saturated and homogeneous models
Siberian Mathematical Journal | 1980-01-01 | Paper |
Totally transcendental theory with a nonconstructivizable prime model
Siberian Mathematical Journal | 1980-01-01 | Paper |
Strong constructivizability of homogeneous models
Algebra and Logic | 1979-01-01 | Paper |
Constructive models of \(\aleph_1\)-categorical theories
Mathematical Notes | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3598440 (Why is no real title available?)
| 1978-01-01 | Paper |
The quantity of nonautoequivalent constructivizations
Algebra and Logic | 1978-01-01 | Paper |
Restricted theories of constructive Boolean algebras
Siberian Mathematical Journal | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3628930 (Why is no real title available?)
| 1977-01-01 | Paper |
Non-self-equivalent constructivization of atomic Boolean algebras
Mathematical Notes | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3561336 (Why is no real title available?)
| 1976-01-01 | Paper |
Autostability and computable families of constructivizations
Algebra and Logic | 1976-01-01 | Paper |
Some properties of the constructivization of Boolean algebras
Siberian Mathematical Journal | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3572144 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3484041 (Why is no real title available?)
| 1975-01-01 | Paper |
Constructivizability of superatomic Boolean algebras
Algebra and Logic | 1974-01-01 | Paper |
Constructive models of complete solvable theories
Algebra and Logic | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3437137 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3437136 (Why is no real title available?)
| 1973-01-01 | Paper |
