共 50 条
Unbounded actions of metric groups and continuous logic
被引:0
|作者:
Ivanov, Aleksander
[1
]
机构:
[1] Silesian Tech Univ, Inst Math, Ul Kaszubska 23, PL-44101 Gliwice, Poland
关键词:
CONTINUOUS 1ST-ORDER LOGIC;
D O I:
10.1002/malq.202000050
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
We study expressive power of continuous logic in classes of metric groups defined by properties of their actions. We concentrate on unbounded continuous actions on metric spaces. For example, we consider the properties non-OB, non-FH and non-FR.
引用
收藏
页码:206 / 225
页数:20
相关论文