On noetherianity for logical formulas over fields
Aivars Berzins
TL;DR
This paper investigates various forms of noetherianity for propositional and predicate calculus formulas over different fields, exploring their properties and differences.
Contribution
It introduces and compares three types of noetherianity—standard, logical, and denumerable—for formulas over fields.
Findings
Analysis of noetherianity types over various fields
Comparison of properties among the three noetherianity notions
Insights into logical structures and their algebraic properties
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical and Theoretical Analysis · Advanced Algebra and Logic · Rings, Modules, and Algebras