๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Structural arithmetic


Book ID
112813798
Publisher
Springer-Verlag
Year
1961
Weight
146 KB
Volume
11
Category
Article
ISSN
1934-7243

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Learning structures for arithmetic
โœ JAMES K. BIDWELL ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› National Council of Teachers of Mathematics โš– 555 KB
Arithmetical definability over finite st
โœ Troy Lee ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 134 KB

## Abstract Arithmetical definability has been extensively studied over the natural numbers. In this paper, we take up the study of arithmetical definability over finite structures, motivated by the correspondence between uniform AC^0^ and FO(PLUS, TIMES). We prove finite analogs of three classic r