Geodesic
Modeling of the partial fixed point operator
Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 2 (2022), pp. 14-26 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We consider various semantics of partial fixed point (PFP) operator for infinite structures. We consider infinite structures those contains partial order with chains of arbitrary length. We establish that considerable semantics can be modeled by inflationary fixed point operator.
Keywords: partial fixed point, inflationary fixed point, infinite structure, semantic. 
@article{VTPMK_2022_2_a1,
     author = {V. S. Sekorin},
     title = {Modeling of the partial fixed point operator},
     journal = {Vestnik Tverskogo gosudarstvennogo universiteta. Seri\^a Prikladna\^a matematika},
     pages = {14--26},
     year = {2022},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTPMK_2022_2_a1/}
}
TY  - JOUR
AU  - V. S. Sekorin
TI  - Modeling of the partial fixed point operator
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2022
SP  - 14
EP  - 26
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2022_2_a1/
LA  - ru
ID  - VTPMK_2022_2_a1
ER  - 
%0 Journal Article
%A V. S. Sekorin
%T Modeling of the partial fixed point operator
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2022
%P 14-26
%N 2
%U http://geodesic.mathdoc.fr/item/VTPMK_2022_2_a1/
%G ru
%F VTPMK_2022_2_a1
V. S. Sekorin. Modeling of the partial fixed point operator. Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 2 (2022), pp. 14-26. http://geodesic.mathdoc.fr/item/VTPMK_2022_2_a1/

[1] Aho A. V., Ullman J. D., “Universality of data retrieval languages”, Proc. of 6th Symp. on Principles of Programming Languages, 1979, 110–120 | MR

[2] Dudakov S. M., “On Safety of Unary and Nonunary IFP Operators”, Automatic Control and Computer Sciences, 53:7 (2019), 683–688 | DOI

[3] Gurevich Y., Shelah S., “Fixed-point extensions of first-order logic”, Annals of Pure and Applied Logic, 1986, no. 32, 265–280 | DOI | MR | Zbl

[4] Libkin L., Elements of Finite Model Theory, Springer, Berlin, 2004, 314 pp. | MR | Zbl

[5] Goldblatt R., Topos. Categorical analysis of logic, Mir Publ., Moscow, 2020, 488 pp. (in Russian) | MR

[6] Dudakov S. M., “On safety of recursive queries”, Herald of Tver State University. Series: Applied Mathematics, 2012, no. 4 (27), 71–80 (in Russian)

[7] Dudakov S. M., Taitslin M. A., “Collapse results for query languages in database theory”, Russian Mathematical Surveys, 61:2 (2006), 195–253 | DOI | MR | Zbl

[8] Sekorin V. S., “On equivalence of two PFP-operator semantics”, Herald of Tver State University. Series: Applied Mathematics, 2020, no. 3, 41–49 (in Russian) | DOI