• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Соответствие на счетных структурах и запросы к теориям
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
August 24, 2026
Researchers Develop Method for Direct Generation of Regulatory DNA
Researchers at HSE University have developed a model for generating promoters and enhancers—DNA sequences that regulate gene activity. The model works directly with DNA nucleotides, without first transforming them into a continuous numerical representation. This solution could be useful for applications in synthetic biology and gene therapy. The study results were presented at the ICLR 2026 Workshop ‘Generative AI in Genomics (Gen^2): Barriers and Frontiers.’
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.
August 18, 2026
HSE Scholar Presents Research on Postcards in Brazil and South Korea
Timur Khusyainov, Deputy Dean of theFaculty of Humanities atHSE University–Nizhny Novgorod, took part in two international conferences—the XVI World Congress of Rural Sociology in Porto Alegre, Brazil, and the 36th Annual Conference of the Alliance of Digital Humanities Organisations (DH2026) in Daejeon, South Korea. On his way to the conferences, the researcher also visited several other places, where he presented the experience of the Pochtovoe educational project.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Соответствие на счетных структурах и запросы к теориям

С. 24–26.
Zolin E.
Language: Russian
Full text
Keywords: логика предикатовсчётные структурыfirst-order logic
Publication based on the results of:
­­ Semantics and Pragmatics of Agency (2019)

In book

Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва
М.: Современные тетради, 2019.
Similar publications
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
Rybakov M., Логические исследования 2023 Т. 29 № 1 С. 114–146
Tiling problems are a convenient tool for studying algorithmic complexity of problems arising in various branches of mathematics, including logic. The paper describes modelling of domino problems using the first-order language, as well as some additional language constructs, some of which are not elementary. This enables us both to obtain simple proofs of known facts about undecidability of satisfiability problems for ...
Added: July 7, 2023
On Interpretations in Buchi Arithmetics
Zapryagaev A., / Series arXiv "math". 2022.
Added: December 7, 2022
Strictly balanced uniform hypergraphs and generalizations of Zero-One Law
Matushkin A. D., Popova S., Discrete Mathematics 2022 Vol. 345 No. 6 Article 112835
In this work we describe the spectra of all rational numbers that could be a density of a strictly balanced uniform hypergraph. We also introduce some specific constructions of strictly balanced uniform hypergraphs, and exploit them to generalize some results about Zero-One Law and Zero-One k-Law to the case of random uniform hypergraphs. ...
Added: June 29, 2022
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
Rybakov M., Shkatov D., Studia Logica 2021
Added: January 24, 2022
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
Rybakov M., Shkatov D., Logical Investigations 2021 Vol. 27 No. 2 P. 93–120
Доказывается неразрешимость логи QCTL и QLTL в языке с двумя переменными и одной одноместной предикатной буквой. ...
Added: January 24, 2022
Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics
Rybakov M., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99
For an infinite class of calculi containing CTL and QCL, it is proved that they are Kripke incomplete. ...
Added: July 20, 2020
Дискретная математика
Nabebin A. A., М.: Научный мир, 2010.
Излагаются основные понятия дискретной математики: модулярная арифметика и ее использование в криптографии, элементы комбинаторики, алгебра логики и логика предикатов, теория графов, конечные автоматы. ...
Added: May 28, 2012
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit