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 条

[1] FINITE AXIOMATIZABILITY OF FINITE LOGIC
JOHNSON, JS
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A30 - A30
[2] Finite axiomatizability in Lukasiewicz logic
Mundici, Daniele
ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1035 - 1047
[3] Finite axiomatizability for profinite groups
Nies, Andre
Segal, Dan
Tent, Katrin
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2021, : 597 - 635
[4] On the finite axiomatizability of ∀(Σ)over-cap1b((R)over-cap21)
Pollett, Chris
MATHEMATICAL LOGIC QUARTERLY, 2018, 64 (1-2) : 6 - 24
[5] FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY
HERRMANN, B
RAUTENBERG, W
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (04): : 327 - 344
[6] ON FINITE AXIOMATIZABILITY OF EXPANSIONS OF CYLINDRIC ALGEBRAS
Ahmed, Tarek Sayed
JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2011, 20 (01): : 1 - 20
[7] Finite axiomatizability of local set theory
Zakharov, V. K.
Yashin, A. D.
MATHEMATICAL NOTES, 2011, 90 (1-2) : 64 - 78
[8] Hereditary finite axiomatizability of the logic SLn
Kravtsov, AG
DOKLADY MATHEMATICS, 2003, 68 (01) : 8 - 10
[9] Finite axiomatizability of local set theory
V. K. Zakharov
A. D. Yashin
Mathematical Notes, 2011, 90
[10] ON THE AXIOMATIZABILITY OF THE NOTION OF AN AUTOMORPHISM OF A FINITE ORDER
ANAPOLITANOS, DA
VAANANEN, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (05): : 433 - 437

← 1 2 3 4 5 →