EuDML | Browse

Displaying 61 – 71 of 71

On the lengths of bad sequences of monomial ideals over polynomial rings

Florian Pelupessy, Andreas Weiermann (2012)

Fundamenta Mathematicae

We give bad (with respect to the reverse inclusion ordering) sequences of monomial ideals in two variables with Ackermannian lengths and extend this to multiple recursive lengths for more variables.

On the problem of finite signature.

Morozov, A.S. (2003)

Sibirskij Matematicheskij Zhurnal

On the reducibility of the index sets of families of general recursive functions.

Ю.Д. Корольков (1982)

Sibirskij matematiceskij zurnal

On the relation of $Σ$ -reducibility between admissible sets.

Morozov, A.S. (2004)

Sibirskij Matematicheskij Zhurnal

On the resemblance and recursive isomorphism types of partial recursive functions.

Litvinov, N.V. (2000)

Siberian Mathematical Journal

On the restricted equivalence for subclasses of propositional logic

A. Flögel, H. Kleine Büning, T. Lettmann (1993)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

On the topological complexity of infinitary rational relations

Olivier Finkel (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We prove in this paper that there exists some infinitary rational relations which are analytic but non Borel sets, giving an answer to a question of Simonnet [20].

On the Topological Complexity of Infinitary Rational Relations

Olivier Finkel (2010)

RAIRO - Theoretical Informatics and Applications