コンテンツメニュー

On the theories with countably many unary predicate symbols

Journal of the Faculty of Liberal Arts, Yamaguchi University. Natural science Volume 16 Page 0-6
published_at 1982-10
Title
On the theories with countably many unary predicate symbols
Creators Nakano Yoshihiro
Source Identifiers
We study the first order theories connected with the product topology of the discrete topology
Languages eng
Resource Type departmental bulletin paper
Publishers 山口大学教養部
Date Issued 1982-10
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0387-4087
[NCID]AN00244148
Schools 教養部