Mints, G. E. Quantifier-free and one-quantifier systems. (Russian. English summary) Zbl 0222.02022 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 115-133 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03F30 First-order arithmetic and fragments 03D20 Recursive functions and relations, subrecursive hierarchies Citations:Zbl 0252.02027 × Cite Format Result Cite Review PDF Full Text: EuDML