• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Generalised imaginaries and Galois cohomology
  • 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 13, 2026
‘Working with AI Solves a Wide Range of Engineering Problems
Artificial intelligence is a working tool based on a balanced combination of algorithms and engineering. Experts and doctoral students from the HSE Moscow Institute of Electronics and Mathematics explain how AI technologies can improve an application, device, or system, and what engineering tasks are solved in the process.
August 12, 2026
‘I Would Like My Research to Help Make the World a Calmer and Better Place
Whatever task Saraa Ali, Junior Research Fellow at the Laboratory of Methods for Big Data Analysis (LAMBDA) of the AI and Digital Science Institute (HSE Faculty of Computer Science), is working on, she thinks about how it can benefit people. She told the Young Scientists of HSE University project about her large family, diagnosing three-phase motors, and her dream of building a children’s home in her native country.
August 11, 2026
‘The Peak of Stupidity and ‘The Valley of Despair: HSE Economists Propose an Explanation for the Dunning–Kruger Effect
The Dunning–Kruger effect, which describes a sharp surge in self-confidence among beginners followed by an equally rapid decline as they gain experience, can be explained by the nature of the learning process and the acquisition of new knowledge. This conclusion was reached by Andrey Vorchik of the HSE Faculty of Economic Sciences together with independent researcher Murat Mamyshev. They developed a mathematical model of learning and demonstrated how subjective confidence is formed and changes as knowledge accumulates, as well as how teachers can reduce the ‘valley of despair’ experienced by learners.

 

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

?

Generalised imaginaries and Galois cohomology

Journal of Symbolic Logic. 2016. Vol. 81. No. 3. P. 917–935.
Sustretov D.

The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and Zilber, and indicate how their non-definability in algebraically closed fields and other theories is connected to eliminability of certain generalised imaginaries.

Language: English
DOI
Text on another site
Keywords: model theory
Similar publications
Algebra and model theory 2025. Volume 16
., 2025.
The 17th International Summer School-Conference “Problems Allied to Model Theory and Universal Algebra” was held on 19–26 of June 2025 at Sobolev Institute of Mathematics, Novosibirsk State Technical University NETI and at the Camping Center “Erlagol” in Altai mauntains. The School was organized by Algebra and Mathematical Logic Department of Novosibirsk State Technical University (NSTU ...
Added: November 24, 2025
Model Theory and Algebra 2024
-, 2024.
Added: November 18, 2024
Algebra and Model Theory 14
Novosibirsk: ., 2023.
The 15th International Summer School-Conference “Problems Allied to Model Theory and Universal Algebra” was held on 21–29 of June 2023 at Novosibirsk State Technical University NETI and at the camping center “Erlagol” in Altai mountains. The School was organized by Algebra and Mathematical Logic Department of Novosibirsk State Technical University (NSTU NETI) and Sobolev Institute of Mathematics of Siberian Branch ...
Added: November 23, 2023
Standard conjectures in model theory, and categoricity of comparison isomorphisms: A model theory perspective
Gavrilovich M., Communications in Algebra 2020 Vol. 48 No. 4 P. 1548–1566
We formulate two conjectures about étale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique ZZ-form of the étale cohomology of complex algebraic varieties, up to Aut(C)Aut(C)-action on the source category; put differently, each comparison isomorphism between Betti and étale cohomology comes from a choice of a ...
Added: October 29, 2020
Models of HoTT and the Constructive View of Theories
Rodin A., , in: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.: Springer, 2019. Ch. 9 P. 191–219.
Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means ...
Added: October 30, 2019
The Quantum Harmonic Oscillator as a Zariski Geometry
Sustretov D., Zilber B., Solanki V., Annals of Pure and Applied Logic 2014 Vol. 165 No. 6 P. 1149–1168
We carry out a model-theoretic analysis of the Heisenberg algebra. To this end, a geometric structure is associated to the Heisenberg algebra and is shown to be a Zariski geometry. Furthermore, this Zariski geometry is shown to be non-classical, in the sense that it is not interpretable in an algebraically closed field. On assuming self-adjointness ...
Added: October 18, 2018
Local Goldblatt-Thomason Theorem
Zolin E., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861–880
The celebrated theorem proved by Goldblatt and Thomason in 1974 gives necessary and sufficient conditions for an elementary class of Kripke frames to be modally definable. Here we obtain a local analogue of this result, which deals with modal definability of classes of pointed frames. Furthermore, we generalize it to the case of n-frames, which ...
Added: June 14, 2018
Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
The collection represents proceedings of the 5th school-seminar "Syntax and Semantics of Logic Systems" (Ulan-Ude, 08.08.2017 - 12.08.2017). The conference subject area includes: theory of models and universal algebra; theory of boolean and finite-valued functions; formal languages and logic calculus; mathematical logic in education. ...
Added: September 22, 2017
Some Definability Results in Abstract Kummer Theory
Gavrilovich M., Bays M., Hils M., International Mathematics Research Notices 2014 Vol. 14 P. 3927–4000
Let S be a semiabelian variety over an algebraically closed field, and let X be an irreducible subvariety not contained in a translate of a proper algebraic subgroup of S. We show that the number of irreducible components of [n]^−1 (X) is bounded uniformly in n, and moreover that the bound is uniform in families ...
Added: October 23, 2015
Exercises de style: A homotopy theory for set theory
Gavrilovich M., Hasson A., Israel Journal of Mathematics 2015 Vol. 209
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of niteness, countability and in nite equi-cardinality. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is ...
Added: October 20, 2015
  • 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