Article contents
Axiom systems for first order logic with finitely many variables1
Published online by Cambridge University Press: 12 March 2014
Abstract
J. D. Monk has shown that for first order languages with finitely many variables there is no finite set of schema which axiomatizes the universally valid formulas. There are such finite sets of schema which axiomatize the formulas valid in all structures of some fixed finite size.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1973
Footnotes
Thanks are due the referee for several helpful suggestions.
References
REFERENCES
- 6
- Cited by