Zobrazeno 1 - 10
of 258
pro vyhledávání: '"HRUSHOVSKI, EHUD"'
We present foundations of globally valued fields, i.e., of a class of fields with an extra structure, capturing some aspects of the geometry of global fields, based on the product formula. We provide a dictionary between various data defining such ex
Externí odkaz:
http://arxiv.org/abs/2409.04570
Autor:
Hrushovski, Ehud
We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if one begins
Externí odkaz:
http://arxiv.org/abs/2406.19513
Autor:
Benedikt, Michael, Hrushovski, Ehud
We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of definable MERs,
Externí odkaz:
http://arxiv.org/abs/2406.15235
We prove a uniform estimate of the number of points for difference algebraic varieties in finite difference fields in the spirit of Lang-Weil. More precisely, we give uniform lower and upper bounds for the number of rational points of a difference va
Externí odkaz:
http://arxiv.org/abs/2406.00880
Autor:
Derakhshan, Jamshid, Hrushovski, Ehud
We describe the imaginary sorts of infinite products in terms of imaginary sorts of the factors. We extend the result to certain reduced powers and then to infinite products $\prod_{i\in I} M_i$ enriched with a predicate for the ideal of finite subse
Externí odkaz:
http://arxiv.org/abs/2309.11678
We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable compactificati
Externí odkaz:
http://arxiv.org/abs/2308.08440
Autor:
Dupuy, Taylor, Hrushovski, Ehud
Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a decidable th
Externí odkaz:
http://arxiv.org/abs/2305.12226
Autor:
Benedikt, Michael, Hrushovski, Ehud
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past. It is clea
Externí odkaz:
http://arxiv.org/abs/2304.09231
Autor:
Yaacov, Itaï Ben, Hrushovski, Ehud
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof that {\em
Externí odkaz:
http://arxiv.org/abs/2212.07269