Sorbi, Andrea Numerazioni positive, r.e. classi e formule. (Italian) Zbl 0502.03023 Boll. Unione Mat. Ital., VI. Ser., D, Algebra Geom. 1, 79-88 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03D45 Theory of numerations, effectively presented structures Keywords:numeration; positive equivalence relation; precomplete and uniformly m- complete positive equivalence relations; Putnam-Smullyan theorem × Cite Format Result Cite Review PDF