The factorial function for isols

DOI10.1007/BF01558589zbMath0084.01001MaRDI QIDQ770288

J. C. E. Dekker

Publication date: 1958

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Recursive equivalence types and groups ⋮ Rich co-ordinals, addition isomorphisms, and RETs ⋮ The divisibility of isols by powers of primes ⋮ Elementary properties of the group of isolic integers

Cites Work

• Congruences in isols with a finite modulus
• Two Notes on Recursively Enumerable Sets
• Recursively enumerable sets of positive integers and their decision problems
• Unnamed Item