𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Maximum Schemes in Arithmetic

✍ Scribed by A. Fernández-Margarit; M. J. Pérez-Jiménez


Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
227 KB
Volume
40
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


Abstract

In this paper we deal with some new axiom schemes for Peano's Arithmetic that can substitute the classical induction, least‐element, collection and strong collection schemes in the description of PA.

Mathematics Subject Classification: 03F30, 03H15.


📜 SIMILAR VOLUMES


A construction of covers of arithmetic s
✍ Götz Wiesend 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 175 KB

Let X be a regular arithmetic scheme, i.e. a regular integral separated scheme flat and of finite type over Spec Z. Assume that for all closed irreducible subschemes C ⊆ X of dimension 1 with normalisation C there are given open normal subgroups N C of π 1 ( C), which fulfil the following compatibil