逻辑L′ω_1ω及其上的几个保持性定理

在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理 .     

L′ω1ω上的α-省略型定理及其应用

本文建立了L′_(ω1ω)上的一种α-省略型定理,并利用这一定理证明了当|T|是可测基数时的Morley猜想。     

Lω-空间中的ω-Tychonoff分离性

在Lω-空间中,借助于ω-连续的L值Zadeh型函数,给出ω-Tychonoff分离性的定义,并系统研究ω-Tychonoff分离性的特征性质。证明ω-Tychonoff分离性是可遗传的、任意可乘的、ω-弱同胚不变的。     

Lω-空间中的ω-Urysohn分离性

在Lω-空间中引入分子网和理想的ωθ*-极限点、ωθ*-聚点等概念,证明ω-Urysohn空间中分子网和理想的ωθ*-极限点均唯一等特征性质,并证明ω-Urysohn分离性是可ω-遗传的,在(ω1,ω2)-同胚和(ω1,ω2)θ-同胚映射下是拓扑不变的,在满层条件下是任意可乘的,而且是R.Lowen意义下好的推广等性质。     

Lω-空间中ωS-连通性

在Lω空间中定义了ω-半开(闭)集,引入了ωS-连通性的概念,并且给出了ωS-连通性的等价刻划及其应用.     

Lω-空间的ω-Lindeloef性质

在Lω-空间中引入ω-Lindeloef性质和ω-Lindeloef空间等概念，给出了其等价刻画，并证明它保持L-拓补空间中许多良好的性质，如闭遗传性、L-好的推广、被连续的L值Zadeh型函数所保持。此外，引入了ω-紧性的概念，研究了其若干性质。     

L＇ω1ω上的α-省略型定理及其应用

本文建立了L＇ω1ω上的一种α-省略型定理，并利用这一定理证明了当｜T｜是可测基数时的Morley猜想。     

Lω-空间的ω-Lindel(o)f性质

在Lω-空间中引入ω-Lindel(o)f性质和ω-Lindel(o)f空间等概念,给出了其等价刻画,并证明它保持L-拓扑空间中许多良好的性质,如闭遗传性、L-好的推广、被连续的L值Zadeh型函数所保持.此外,引入了ω-紧性的概念,研究了其若干性质.     

Lω-空间的拟ω-Lindel(o)f性

在Lω-空间中引入拟ω-Lindel(o)f性的概念,讨论拟ω-Lindel(o)f性的一些基本性质,给出拟ω-Lindel(o)f性的几个等价刻画.     

关于 Fuzzyω正则语言的一个注记

通过引入ω-Nerode等价关系,fuzzy前逆缀ω-语言,闭左逆语言等概念来研究语言的化数性质,得到了(1)fuzzyω正则语言可由一些具有有限指标集的等价类来表示;(2)fuzzy前逆缀ω-语言是fuzzyω正则语言iff由L定义的ω-Nerode等价关系的指标集是有限的.