ON THE FINITE AXIOMATIZABILITY OF THE VISIBILITY RELATION OVER RADARS

被引：0
|
作者：
Beluhov, Nikolai [1 ]
机构：
[1] Sofia Univ St Kliment Ohridski, Fac Math & Informat, 5 J Bourchier Blvd, Sofia 1164, Bulgaria
来源：
COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES | 2016年 / 69卷 / 01期
关键词：
geometric model; visibility; first-order theory; universal fragment; finite axiomatizability; noncompactness; combinatorial geometry;
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
We introduce a simple geometric model for agents participating in visibility relations: agents are modelled as points in n-dimensional Euclidean space, each point associated with a visual field in the shape of an n-dimensional ball containing that point. We study the universal fragment of the first-order theory of this model and show that in the cases n = 1 and n = 2 it cannot be axiomatized by means of a finite set of universal axioms.
引用
收藏
页码：5 / 10
页数：6
相关论文
共 50 条
12345