Back to Search
Start Over
An Omitting Types Theorem for first order logic with infinitary relation symbols.
- Source :
-
Mathematical Logic Quarterly . Nov2007, Vol. 53 Issue 6, p564-570. 7p. - Publication Year :
- 2007
-
Abstract
- In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) [ABSTRACT FROM AUTHOR]
- Subjects :
- *PAPER
*LOGIC
*MATHEMATICAL formulas
*EXTENSION (Logic)
*MATHEMATICAL logic
Subjects
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 53
- Issue :
- 6
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 26898260
- Full Text :
- https://doi.org/10.1002/malq.200610050