RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Guidelines for authors

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. IMI UdGU:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Izv. IMI UdGU, 2017, Volume 50, Pages 45–61 (Mi iimi347)  

On the construction of a predicate truth set

D. A. Serkovab

a N. N. Krasovskii Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, ul. S. Kovalevskoi, 16, Yekaterinburg, 620990, Russia
b Ural Federal University, ul. Mira, 32, Yekaterinburg, 620002, Russia

Abstract: We provide an approach to constructing a predicate truth set, which we refer to as unlocking of predicate. The approach reduces the problem of searching for a predicate truth set to searching for a set of fixed points of some mappings (hereinafter “unlocking mappings”). Unlocking of predicate gives an extra opportunity to analyze the truth set and to build its elements with desired properties. In this paper, we outline how to build unlocking mappings for some general types of predicates: we give a formal definition of the predicate unlocking operation, rules for the construction and calculation of unlocking mappings and their basic properties. As an illustration, we routinely construct unlocking mappings for predicates “be a Nash equilibrium” and “be non-anticipating mapping”; then on this basis we provide expressions for corresponding truth sets.

Keywords: truth set of predicate, fixed points, Nash equilibrium, nonanticipating mappings.

Funding Agency Grant Number
Russian Foundation for Basic Research 16-01-00649_а


DOI: https://doi.org/10.20537/2226-3594-2017-50-06

Full text: PDF file (332 kB)
References: PDF file   HTML file

Bibliographic databases:

UDC: 510.635, 517.988.52, 519.833, 517.977
MSC: 06E30, 47J25, 47H04, 47H10, 91B50
Received: 10.10.2017

Citation: D. A. Serkov, “On the construction of a predicate truth set”, Izv. IMI UdGU, 50 (2017), 45–61

Citation in format AMSBIB
\Bibitem{Ser17}
\by D.~A.~Serkov
\paper On the construction of a predicate truth set
\jour Izv. IMI UdGU
\yr 2017
\vol 50
\pages 45--61
\mathnet{http://mi.mathnet.ru/iimi347}
\crossref{https://doi.org/10.20537/2226-3594-2017-50-06}
\elib{http://elibrary.ru/item.asp?id=32260608}


Linking options:
  • http://mi.mathnet.ru/eng/iimi347
  • http://mi.mathnet.ru/eng/iimi/v50/p45

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
    Number of views:
    This page:108
    Full text:95
    References:25

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019