Additive relations among recursive equivalence types

DOI10.1007/BF01362769zbMath0168.01102MaRDI QIDQ2530548

No author found.

Publication date: 1965

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/182693

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (2)

Rich co-ordinals, addition isomorphisms, and RETs ⋮ Recursive equivalence types of vector spaces

Cites Work

• Unnamed Item
• The uniqueness of finite division for recursive equivalence types
• Elementary properties of the group of isolic integers
• Extensions to isols
• Extensions to isolic integers
• Solution of a problem of R. Friedberg
• Recursive equivalence types and combinatorial functions
• The Normal Coordinate Transformation of a Linear System with an Arbitrary Loss Function
• Combinatorial series and recursive equivalence types

This page was built for publication: Additive relations among recursive equivalence types