The following pages link to S. S. Goncharov (Q1407592):
Displaying 50 items.
- Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations (Q282114) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations (Q492716) (← links)
- The index set of Boolean algebras autostable relative to strong constructivizations (Q498225) (← links)
- Universal recursively enumerable Boolean algebras (Q800916) (← links)
- Rigid relations on constructive models (Q859198) (← links)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) (Q891064) (← links)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Index sets of autostable relative to strong constructivizations constructive models for familiar classes (Q906085) (← links)
- Algorithmic dimension of nilpotent groups (Q910855) (← links)
- On two problems of Turing complexity for strongly minimal theories (Q954212) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Decidability and computability of certain torsion-free abelian groups (Q976537) (← links)
- Categoricity of computable infinitary theories (Q1005932) (← links)
- Computable single-valued numerations (Q1050980) (← links)
- Positive numerations of families with one-valued numerations (Q1062050) (← links)
- Examples of nonautostable systems (Q1077409) (← links)
- Strong \(\Delta ^ 0_ 2\) categoricity (Q1078172) (← links)
- Axiomatizable classes with strong homomorphisms (Q1100195) (← links)
- Strong constructivizability of homogeneous models (Q1142774) (← links)
- Numerations of saturated and homogeneous models (Q1149948) (← links)
- Totally transcendental theory with a nonconstructivizable prime model (Q1155601) (← links)
- Autostability of models and Abelian groups (Q1156126) (← links)
- Autostability of models (Q1156127) (← links)
- A totally transcendental decidable theory without constructivizable homogeneous models (Q1156128) (← links)
- Problem of the number of non-self-equivalent constructivizations (Q1159633) (← links)
- (Q1210350) (redirect page) (← links)
- Some effectively infinite classes of enumerations (Q1210351) (← links)
- Some properties of the constructivization of Boolean algebras (Q1225613) (← links)
- Non-self-equivalent constructivization of atomic Boolean algebras (Q1237725) (← links)
- Autostability and computable families of constructivizations (Q1247964) (← links)
- Restricted theories of constructive Boolean algebras (Q1249569) (← links)
- Constructive models of \(\aleph_1\)-categorical theories (Q1255943) (← links)
- The quantity of nonautoequivalent constructivizations (Q1257890) (← links)
- Decidable Boolean algebras of low level (Q1295398) (← links)
- Computable classes of constructivizations for models of finite constructivizability type (Q1335930) (← links)
- Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) (Q1346920) (← links)
- Effectively infinite classes of weak constructivizations of models (Q1346921) (← links)
- Simple and immune relations on countable structures (Q1407593) (← links)
- On the spectrum of degrees of decidable relations (Q1595518) (← links)
- Guarded traced categories (Q1652996) (← links)
- Conditional terms in semantic programming (Q1694705) (← links)
- Recursive terms in semantic programming (Q1731392) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- Nilpotent groups of finite algorithmic dimension (Q1825277) (← links)
- Constructive models of complete solvable theories (Q1843428) (← links)
- Constructivizability of superatomic Boolean algebras (Q1843564) (← links)
