ACFA

A Medvedev - arXiv preprint arXiv:1508.06007, 2015 - arxiv.org
… In this paper we show that fields with a (Q, +)-action are far more tame. … of L1 and ACFA,
then p is orthogonal to all Lq-definable minimal fields in the sense of Lq and ACFA for all qQ. …

[PDF][PDF] ACFA とManin-Mumford 予想(幾何学的モデル理論の研究)

桔梗宏孝 - 数理解析研究所講究録, 2002 - repository.kulib.kyoto-u.ac.jp
… 公理系 ACFA の存 在する理由としては, 代数的閉体上のイデアルの既約性がイデアルを生成
する多 項式の係数の性質として言語 $\mathcal{L}$ で記述できることが本質的である. モデル完全な…

[PDF][PDF] Existentially closed models of some class of differential-difference fields (Model theoretic aspects of the notion of independence and dimension)

柳川信 - 数理解析研究所講究録, 2015 - repository.kulib.kyoto-u.ac.jp
… the theory of fields with a generic automorphism, ACFA, which is a theory of model companion
of … a model companion of the theory of iterative $q$-difference fields of characteristic zero. …

Multiple feedback based adversarial collaborative filtering with aesthetics

Z Wu, Y Ma, J Cao, A Paul, X Li - International Journal of Multimedia …, 2023 - Springer
… [4], which estimates the score of affinity between consumer p and product q, denoted as \(x_{pq}\),
by their connections … We report the performance of CFA and ACFA in these settings. …

Transcendence of polynomial canonical heights

KD Nguyen - Mathematische Annalen, 2023 - Springer
… Once the above problem is solved, we can characterize the \((f_i,a_i)\)’s so that the \(\hat{h}_{f_i}(a_i)\)’s
are linearly dependent over \({\mathbb Q}\) without the further local conditions of …

Hypertranscendence and linear difference equations

B Adamczewski, T Dreyfus, C Hardouin - Journal of the American …, 2021 - ams.org
… Then we have QQ and one can identify Galδ( Q/ K) with a subgroup of Gal(Q/ K) by
restricting the elements of Galδ( Q/ K) to Q. The following result provides a fundamental link …

The uniform companion for fields with free operators in characteristic zero

S Mohamed - arXiv preprint arXiv:2311.01856, 2023 - arxiv.org
… In the case k = Q we recover the usual notions of derivations and endomorphisms. The …
axioms for ACFA in [7]. The morphism ˆπ0 is the projection to X, and ˆπ1 is the projection to Xσ. …

An AEC framework for fields with commuting automorphisms

T Hyttinen, K Kangas - Archive for Mathematical Logic, 2023 - Springer
… In the future, we aim to investigate whether some of the results that hold in ACFA could be …
For example, if \(a, b \in {\mathbb {Q}}\), then we can write a formula \(\phi (x,y) \in {\mathcal {E}}…

Algorithms determining finite simple images of finitely presented groups

MR Bridson, DM Evans, MW Liebeck, D Segal - Inventiones mathematicae, 2019 - Springer
q)\) the corresponding twisted simple group over \({\mathbb {F}}_q\). (Here we are using the
notation q rather than \(q… We claim that for infinitely many powers q of p we have \({\mathbb {F…

Invariant varieties for polynomial dynamical systems

A Medvedev, T Scanlon - arXiv preprint arXiv:0901.2352, 2009 - arxiv.org
… The theory of difference fields, expressed in the first-order language of rings expanded by a
unary function symbol for the endomorphism, admits a model companion, ACFA, the models …