Elimination of quantifiers of a theory of real closed rings.
Đã lưu trong:
| Tác giả: | |
|---|---|
| Định dạng: | artículo preliminar |
| Ngày xuất bản: | 2022 |
| Miêu tả: | Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex in von Neumann regular real closed rings that are divisible-proyectable and sc-regular. In this paper, a local divisibility binary relation is introduced in order to prove the elimination of quantifiers of the theory T* in the language of lattice-ordered rings adding the divisibility relation, the radical relation associated to the minimal prime spectrum and this new local divisibility relation. |
| Quốc gia: | Kérwá |
| Tổ chức giáo dục: | Universidad de Costa Rica |
| Repositorio: | Kérwá |
| Ngôn ngữ: | Inglés |
| OAI Identifier: | oai:kerwa.ucr.ac.cr:10669/87524 |
| Truy cập trực tuyến: | https://hdl.handle.net/10669/87524 |
| Từ khóa: | Real closed rings Model theory Elimination of quantifiers projectable f-rings |