Some metalogical properties for infinitary predicate topological logic
Logic
2013-04-08 v1
Abstract
We prove completeness, interpolation and omitting types for certain predicate topological logics that properly extend the first order case. We aslo count the non isomorphic topological models of a countable theory
Cite
@article{arxiv.1304.1576,
title = {Some metalogical properties for infinitary predicate topological logic},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1304.1576},
year = {2013}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1302.1368, arXiv:1304.0619, arXiv:1304.1149, arXiv:1304.0883