Article ID Journal Published Year Pages File Type
4662044 Annals of Pure and Applied Logic 2013 20 Pages PDF
Abstract

We define and investigate a family of local–global principles for fields involving both orderings and p-valuations. This family contains the PAC, PRC and PpC fields and exhausts the class of pseudo classically closed fields. We show that the fields satisfying such a local–global principle form an elementary class, admit diophantine definitions of holomorphy domains, and their orderings satisfy the strong approximation property.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,