Spectrum of FO logic with quantifier depth 4 is finite

Аннотация

The k-spectrum is the set of all α > 0 such that G(n,n−α) does not obey the 0-1 law for FO sentences with quantifier depth at most k. In this article, we prove that the minimum k such that the k-spectrum is infinite equals 5.

Читать в источнике Cкачать pdf

On the efficient preconditioning of the Stokes equations in tight geometries

Владислав Пиманов, Oleg Iliev, Иван Оселедец, Екатерина Муравлева

Читать источник

How to measure inventive speed? A new patent activity assessment dimension

Алексей Калиниченко, Никита Паплавский, Иван Оселедец

Читать источник

Machine Learning Methods for Prediction of Breakthrough Curves in Reactive Porous Media

Дарья Фокина, Павел Токталиев, Oleg Iliev, Иван Оселедец

Читать источник

Anatomical Position Embeddings

Михаил Гончаров, Валентин Самохин, Евгения Соболева, Роман Соколов, Борис Широких , Михаил Беляев, Анвар Курмуков, Иван Оселедец

Читать источник

Self-Attentive Sequential Recommendations with Hyperbolic Representations

Евгений Фролов, Татьяна Матвеева, Leyla Mirvakhabova, Иван Оселедец

Читать источник

General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing

Дмитрий Корж, Михаил Паутов, Ольга Цымбой, Иван Оселедец

Читать источник

A case study of spatiotemporal forecasting techniques for weather forecasting

Shakir Showkat Sofi, Иван Оселедец

Читать источник

Spectrum of FO logic with quantifier depth 4 is finite

Аннотация

Похожие публикации