On the resemblance and recursive isomorphism types of partial recursive functions.
Litvinov, N.V. (2000)
Siberian Mathematical Journal
Similarity:
Displaying similar documents to “Computably rigid models with enumerable submodels.”
On the resemblance and recursive isomorphism types of partial recursive functions.
On resemblance and recursive isomorphism types of partial recursive functions.
Polyakov, E.A. (2001)
Siberian Mathematical Journal
Similarity:
Isomorphism of index sets of discrete families of general recursive functions.
Korol'kov, Yu.D. (2004)
Sibirskij Matematicheskij Zhurnal
Similarity:
On classifying subsets of natural numbers by their computable permutations.
Combarro, E.F. (2004)
Sibirskij Matematicheskij Zhurnal
Similarity:
On reducibility of partial recursive functions.
Degtev, A.N., Sakunova, E.S. (2000)
Siberian Mathematical Journal
Similarity:
On resemblance and recursive isomorphism types of bounded partial recursive functions.
Litvinov, N.V. (2000)
Siberian Mathematical Journal
Similarity:
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties.
Ursu, V.I. (2000)
Siberian Mathematical Journal
Similarity:
Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
-immune sets.
Solon, B.Ya. (2000)
Siberian Mathematical Journal
Similarity:
The hypercentral structure of the group of unitriangular automorphisms of a free metabelian Lie algebra.
Kabanov, A.N. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
On the independence property.
Kudajbergenov, K.Zh. (2000)
Siberian Mathematical Journal
Similarity:
Recursive and combinatorial properties of Schubert polynomials.
Winkel, Rudolf (1996)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity: