Cover Image

Projective curves and weak second-order logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berarducci, Alessandro, Gallinaro, Francesco
Format:	Preprint
Published:	2025
Subjects:	Logic 03C35, 03H05, 12L12, 12L15, 14H99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

Finite-dimensional differential-algebraic permutation groups
by: Freitag, James, et al.
Published: (2023)

Universal-existential theories of fields
by: Anscombe, Sylvy, et al.
Published: (2024)

Splitting differential equations using Galois theory
by: Eagles, Christine, et al.
Published: (2024)

Note on a differential algebra bound
by: Jimenez, Léo
Published: (2024)

On definable groups in dp-minimal topological fields equipped with a generic derivation
by: Point, Françoise
Published: (2025)

Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)

Existential fragments of theories of henselian valued fields
by: Anscombe, Sylvy, et al.
Published: (2026)

Generic derivations on algebraically bounded structures
by: Antongiulio, Fornasiero, et al.
Published: (2023)

Exponential Fields: Lack of Generic Derivations
by: Antongiulio, Fornasiero, et al.
Published: (2024)

On Tameness, Measurability and the Independence Property
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)

On Lambda functions in henselian and separably tame valued fields
by: Anscombe, Sylvy
Published: (2025)

Binding groups for algebraic dynamics
by: Kamensky, Moshe, et al.
Published: (2024)

Linear theories of global fields with absolute values
by: Fehm, Arno, et al.
Published: (2026)

Internality of autonomous algebraic differential equations
by: Eagles, Christine, et al.
Published: (2024)

Embedding the prime model of real exponentiation into o-minimal exponential fields
by: Krapp, Lothar Sebastian
Published: (2023)

Interpretations of syntactic fragments of theories of fields
by: Anscombe, Sylvy, et al.
Published: (2023)

The theory DCF$_p$A exists for $p>0$
by: Ino, Kai, et al.
Published: (2024)

Existential theories of henselian valued fields under a formal smoothness assumption
by: Dittmann, Philip
Published: (2026)

The uniform companion for fields with free operators in characteristic zero
by: Mohamed, Shezad
Published: (2023)

Fields with Lie-commuting and iterative operators
by: Dobrowolski, Jan, et al.
Published: (2025)

Nonstandard polynomials: algebraic properties and elementary equivalence
by: Myasnikov, Alexei, et al.
Published: (2024)

Notes on Lie derivatives, algebraic D-varieties, and Ax's theorem
by: Pillay, Anand
Published: (2026)

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
by: Moreno, Paulo Andrés Soto
Published: (2025)

Generic differentiability and $P$-minimal groups
by: Johnson, Will
Published: (2024)

On some NIP Fragments of Fields
by: Moreno, Paulo Andrés Soto
Published: (2026)

Two examples concerning existential undecidability in fields
by: Dittmann, Philip
Published: (2022)

Differentially Henselian Fields
by: Ng, Gabriel
Published: (2023)

Automorphism groups of prime models, and invariant measures
by: Pillay, Anand
Published: (2024)

The Ax-Kochen-Ershov principles via the higher valued hyperfield
by: Lee, Junguk
Published: (2025)

Translating between NIP integral domains and topological fields
by: Johnson, Will
Published: (2025)

Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
by: Ketelsen, Margarete, et al.
Published: (2026)

Ax-Kochen-Ershov principles for finitely ramified henselian fields
by: Anscombe, Sylvy, et al.
Published: (2023)

Forking independence in differentially closed fields of positive characteristic
by: Kowalski, Piotr, et al.
Published: (2025)

On ordinary differentially large fields
by: Sánchez, Omar León, et al.
Published: (2023)

Noetherian theories
by: Martin-Pizarro, Amador, et al.
Published: (2023)

On the existential theory of the completions of a global field
by: Dittmann, Philip, et al.
Published: (2024)

Neostability transfers in derivation-like theories
by: Sanchez, Omar Leon, et al.
Published: (2024)

The conjectures of Kumbhakar, Roy, and Srinivasan
by: Freitag, James, et al.
Published: (2026)