Zobrazeno 1 - 10
of 9 625
pro vyhledávání: '"Ehrenfeucht, A."'
Ehrenfeucht-Fra\"iss\'e games provide means to characterize elementary equivalence for first-order logic, and by standard translation also for modal logics. We propose a novel generalization of Ehrenfeucht- Fra\"iss\'e games to hybrid-dynamic logics
Externí odkaz:
http://arxiv.org/abs/2406.02094
Autor:
Hirvonen, Åsa, Puljujärvi, Joni
We define a version of the Ehrenfeucht-Fra\"iss\'e game in the setting of metric model theory and continuous first-order logic and show that the second player having a winning strategy in a game of length $n$ exactly corresponds to being elementarily
Externí odkaz:
http://arxiv.org/abs/2402.16662
Ehrenfeucht-Fra\"iss\'e games provide a fundamental method for proving elementary equivalence (and equivalence up to a certain quantifier rank) of relational structures. We investigate the soundness and completeness of this method in the more general
Externí odkaz:
http://arxiv.org/abs/2308.04910
Despite considerable research on document spanners, little is known about the expressive power of generalized core spanners. In this paper, we use Ehrenfeucht-Fra\"iss\'e games to obtain general inexpressibility lemmas for the logic FC (a finite-mode
Externí odkaz:
http://arxiv.org/abs/2306.16364
Autor:
Khlestova, E.1 (AUTHOR) e.khlestova@g.nsu.ru
Publikováno v:
Journal of Mathematical Sciences. Nov2022, Vol. 267 Issue 4, p483-486. 4p.
Autor:
Kulpeshov, Beibut, Sudoplatov, Sergey
We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for quite o-minimal Ehrenfeucht theories. Decomposition formulas for these distributions are found.
Externí odkaz:
http://arxiv.org/abs/1802.08078
Autor:
Sudoplatov, Sergey
We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for disjoint unions of Ehrenfeucht theories. Decomposition formulas for these distributions are found.
Comment: arXiv admin note: text overlap with arXiv:1
Comment: arXiv admin note: text overlap with arXiv:1
Externí odkaz:
http://arxiv.org/abs/1802.09364
Autor:
Mwesigye, Feresiano, Truss, John K.
Two structures $A$ and $B$ are $n$-equivalent if player II has a winning strategy in the $n$-move Ehrenfeucht-Fra\"iss\'e game on $A$ and $B$. In earlier papers we studied $n$-equivalence classes of ordinals and coloured ordinals. In this paper we si
Externí odkaz:
http://arxiv.org/abs/1801.00627
Autor:
Krishna, Kundan, Nandakumar, Satyadev
We study the binary Ehrenfeucht Mycielski sequence seeking a balance between the number of occurrences of different binary strings. There have been numerous attempts to prove the balance conjecture of the sequence, which roughly states that 1 and 0 o
Externí odkaz:
http://arxiv.org/abs/1710.01325
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.