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
相关论文
共 50 条