𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Provably recursive functions of constructive and relatively constructive theories

✍ Scribed by Morteza Moniri

Publisher
Springer
Year
2009
Tongue
English
Weight
159 KB
Volume
49
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Recursive constructions for difference m
Recursive constructions for difference matrices and relative difference families
✍ Marco Buratti πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 219 KB

We present a new recursive construction for difference matrices whose application allows us to improve some results by D. Jungnickel. For instance, we prove that for any Abelian p-group G of type (n1 , n2 , . . . , nt) there exists a (G, p e , 1) difference matrix with e = Ξ£ i n i m ax i n i . Also,