On noetherianity for logical formulas over fields

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

In this paper we consider noetherianity for formulas of propositional and predicate calculus over different fields. Three types of noetherianity are considered: standard noetherianity, logical noetherianity and denumerable noetherianity.
5 pages

Keywords

Algebraic Geometry

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/154022

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0802.0211
 http://arxiv.org/abs/0802.0211

Collections

arXiv