Article contents
Remarks on an infinitary language with constructive formulas
Published online by Cambridge University Press: 12 March 2014
Extract
It is well known that L, the first-order predicate calculus, is unsuitable for characterizing certain mathematical structures. Since some of those structures are quite often considered by mathematicians, extensions of L have been considered which (partially) solve the above problem. Roughly speaking, the extensions of L fall into two main categories:
(I) extensions obtained by allowing higher order variables, and
(II) extensions obtained by allowing infinitely long formulas.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1967
References
- 11
- Cited by