KFU. Card publication. On limitwise monotonic reducibility of Sigma^0

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ON LIMITWISE MONOTONIC REDUCIBILITY OF SIGMA^0_2-SETS

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2014

Язык

английский

Authors, employees of KFU

Zaynetdinov Damir Khabirovich, author

Kalimullin Iskander Shagitovich, author

Bibliographic description in the original language

Kalimullin I. Sh., Zainetdinov D. Kh. On limitwise monotonic reducibility of Sigma^0_2-sets // Abstract Booklet of Logic Colloquium and Logic, Algebra and Truth Degrees. – Vienna, Austria. – 2014. – P. 65–66.

Annotation

Abstract Booklet of Logic Colloquium and Logic, Algebra and Truth Degrees

Keywords

limitwise monotonic reducibility, Sigma^0_2-sets

The name of the journal

Abstract Booklet of Logic Colloquium and Logic, Algebra and Truth Degrees

URL

http://www.logic.at/latd2014/abstract_booklet_final.pdf

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=112563&p_lang=2

Resource files

File name	Size (MB)	Format
abstract_booklet_final.pdf	1,99	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Zaynetdinov Damir Khabirovich	ru_RU
dc.contributor.author	Kalimullin Iskander Shagitovich	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Kalimullin I. Sh., Zainetdinov D. Kh. On limitwise monotonic reducibility of Sigma^0_2-sets // Abstract Booklet of Logic Colloquium and Logic, Algebra and Truth Degrees. – Vienna, Austria. – 2014. – P. 65–66.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=112563&p_lang=2	ru_RU
dc.description.abstract	Abstract Booklet of Logic Colloquium and Logic, Algebra and Truth Degrees	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	limitwise monotonic reducibility	ru_RU
dc.subject	Sigma^0_2-sets	ru_RU
dc.title	On limitwise monotonic reducibility of Sigma^0_2-sets	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU