Related papers: Analytic and pseudo-analytic structures (a survey)
This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expressed in a concise form making use of and extending the…
These are lecture notes from my talks at the "Current Developments in Mathematics" conference (Harvard, 2006). They cover a variety of topics involving symplectic cohomology. In particular, a discussion of (algorithmic) classification…
We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We…
We generalise the correspondence between $\aleph 0$-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all $\aleph 0$-categorical ones) in…
We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…
We develop a real-analytic framework, called perplex analysis, in which the complex, split-complex, and dual numbers arise as members of a single four-parameter family of two-dimensional commutative real algebras. Within this unified…
Conjunctive queries are basic and heavily studied database queries; in relational algebra, they are the select-project-join queries. In this article, we study the fundamental problem of counting, given a conjunctive query and a relational…
We derive a family of $L^p$ estimates of the X-Ray transform of positive measures in $\mathbb R^d$, which we use to construct a $\log R$-loss counterexample to the Mizohata-Takeuchi conjecture for every $C^2$ hypersurface in $\mathbb R^d$…
These three lectures present some fundamental and classical aspects of microlocal analysis. Starting with the Sato's microlocalization functor and the microsupport of sheaves, we then construct a microlocal analogue of the Hochschild…
Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized…
This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…
This short note provides an overview of some theorems and conjectures obtained by the author and his collaborators. It is an extended abstract for the Oberwolfach workshop "New Trends in Teichm\"uller Theory and Mapping Class Groups", 2…
The goal of this paper is to refine some aspects of the cohomological study of Bruhat-Tits subgroups. It aims to complement the work done in the 1987 article. As an application, we obtain a result "\`a la Grothendieck-Serre" for Bruhat-Tits…
A brief survey of real algebraic structures on topological spaces is given. This article is written for the Gokova Gemetry/Topology Conference proceedings.
The paper presents a method for obtaining problems whose conclusions contain disjunctive propositions. These problems constitute a version of inverse problems with a given logical structure. The logical models in the groups of problems…
We found a counterexample to the conjecture of Karvatskyi and Pratsiovytyi concerning the topological type of the achievement set of an intermediate series (Proceedings of the International Geometry Center, 2023.…
In [23], Slipantschuk, Bandtlow and Just gave concrete examples of Anosov diffeomorphisms of the two-torus for which their resonances could be completely described. Their approach was based on composition operators acting on analytic…
We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We…
Structure formation in 1+1 dimensions is considered, with emphasis on the effects of shell-crossing. The breakdown of the perturbative expansion beyond shell-crossing is discussed, and it is shown, in a simple example, that the perturbative…
Rhetorical Structure Theory implies no single discourse interpretation of a text, and the limitations of RST parsers further exacerbate inconsistent parsing of similar structures. Therefore, it is important to take into account that the…