Axiom Systems for First Order Logic with Finitely Many Variables

Johnson, James S.

J. Symbolic Logic, Tome 38 (1973) no. 1, p. 576-578 / Harvested from Project Euclid

Résumé

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.

Publié le : 1973-12-14
Classification:

@article{1183738858,
     author = {Johnson, James S.},
     title = {Axiom Systems for First Order Logic with Finitely Many Variables},
     journal = {J. Symbolic Logic},
     volume = {38},
     number = {1},
     year = {1973},
     pages = { 576-578},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183738858}
}

Johnson, James S. Axiom Systems for First Order Logic with Finitely Many Variables. J. Symbolic Logic, Tome 38 (1973) no. 1, pp.  576-578. http://gdmltest.u-ga.fr/item/1183738858/