GENERIC COMPLEXITY OF FIRST-ORDER THEORIES

被引：0

作者：

Rybalov, A. N. ^{[1
]}

机构：

[1] Russian Acad Sci, Siberian Branch, Omsk Branch, Inst Math, Pevtsova Str 13, Omsk 644043, Russia

来源：

SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2011年 / 8卷

关键词：

generic complexity; first order theory;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Theory of generic complexity studies algorithmical problems for "almost all" inputs. A problem can be hard or undecidable in the worst case but feasible in the generic case. In this review we describe some recent results about generic complexity of the following first order theories: any undecidable first order theory (Mysnikov, Rybalov), ordered field of real numbers (Rybalov, Fedosov), Presburger arithmetic (Rybalov).

引用

页码：168 / 178

页数：11

共 50 条

[1] The Complexity of Decomposing Modal and First-Order Theories
Goeller, Stefan
Jung, Jean Christoph
Lohrey, Markus
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
[2] The Complexity of Decomposing Modal and First-Order Theories
Goeller, Stefan
Jung, Jean-Christoph
Lohrey, Markus
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (01)
[3] On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories
Ponomaryov, D.
LOBACHEVSKII JOURNAL OF MATHEMATICS, 2021, 42 (12) : 2905 - 2912
[4] On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories
D. Ponomaryov
Lobachevskii Journal of Mathematics, 2021, 42 : 2905 - 2912
[5] ARITIES AND ARITIZABILITIES OF FIRST-ORDER THEORIES
Sudoplatov, S., V
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2022, 19 (02): : 889 - 901
[6] FIRST-ORDER THEORIES CATEGORIC IN A CARDINAL
RESSAYRE, JP
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 142 (AUG) : 481 - &
[7] On the Classification of Unstable First-Order Theories
Mutchnik, Scott
ProQuest Dissertations and Theses Global, 2023,
[8] The First-Order Theories of Dedekind Algebras
George Weaver
Studia Logica, 2003, 73 (3) : 337 - 365
[9] First-order theories of bounded trees
Kellerman, Ruaan
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (1-2) : 263 - 297
[10] First-order theories of orthogonality structures
Kellerman, Ruaan
LOGIC JOURNAL OF THE IGPL, 2007, 15 (03) : 255 - 270

← 1 2 3 4 5 →