S. M. Dudakov, “On Safety Of IFP-Operators And Recursive Queries”, Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2013, Issue 2, Pages 5

Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Guidelines for authors
	Submit a manuscript

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]:
Year:
Volume:
Issue:
Page:
	Find

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

Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2013, Issue 2, Pages 5–13 (Mi vtpmk127)

This article is cited in 3 scientific papers (total in 3 papers)

Theoretical Foundations of Computer Science

On Safety Of IFP-Operators And Recursive Queries

S. M. Dudakov

Tver State University

Citations (3)

Abstract: We continue to investigate a totality of recursive queries on infinite universes. Early we have proved that models of countable categorical theories are safe. In this paper we have proposed an example of theory which is safe but is not countable categorical. Also we propose a necessary and sufficient condition for safety.

Keywords: Inflationary fix point, finite axiomatizability.

Funding agency	Grant number
Russian Foundation for Basic Research	13-01-00382 13-01-00643
The work was supported by the RFBR, grants 13-01-00382 and 13-01-00643.

Received: 23.04.2013
Revised: 15.05.2013

Document Type: Article

UDC: 510.675

Language: Russian

Linking options:

https://www.mathnet.ru/eng/vtpmk127

This publication is cited in the following 3 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]

Statistics & downloads:
Abstract page:	92

Registration to the website

Logotypes