Authors
Citation
T. Coquand et H. Persson, Valuations and Dedekind's Prague theorem, J PURE APPL, 155(2-3), 2001, pp. 121-129
Citations number
12
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF PURE AND APPLIED ALGEBRA
ISSN journal
00224049
→ ACNP
Volume
155
Issue
2-3
Year of publication
2001
Pages
121 - 129
Database
ISI
SICI code
0022-4049(20010124)155:2-3<121:VADPT>2.0.ZU;2-U
Abstract
To any field K we associate an entailment relation in the sense of Scott (P
roceedings of the Tarski Symposium, 1974, pp. 411-435). In this way we can
interpret an abstract propositional theory representing a generic valuation
ring of a field, and obtain a simple effective proof of Dedekind's Prague
theorem (Edwards, Arch. Hist. Ex. Sci (1980) 321-378; Divisor Theory, Birkh
auser, Boston, 1990). (C) 2001 Elsevier Science B.V. Ail rights reserved. M
SC: 13A10; 13B25; 54H99.