On inflationary fix-point operators safety

DOI10.1134/S1995080215040022zbMath1346.68079OpenAlexW2299847390MaRDI QIDQ266210

Sergey M. Dudakov

Publication date: 13 April 2016

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1995080215040022

zbMATH Keywords

linear orderscountable categoricityinflationary fixed point

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
• Definability with bounded number of bound variables
• Fixed-point extensions of first-order logic
• Computable queries for relational data bases
• Pseudofinite homogeneity, isolation, and reducibility
• Monadic structures over an ordered universal random graph and finite automata
• Stability theory, permutations of indiscernibles, and embedded finite models
• The collapse theorem for theories ofI-reducible algebraic systems
• Collapse results for query languages in database theory
• A relational model of data for large shared data banks

This page was built for publication: On inflationary fix-point operators safety