:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Anscombe, Sylvy
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2602.23779
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A note on existentially t-henselian fields
by: Anscombe, Sylvy
Published: (2026)

One-dimensional F-definable sets in F((t))
by: Anscombe, Sylvy
Published: (2015)

Characterizing NIP henselian fields
by: Anscombe, Sylvy, et al.
Published: (2019)

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

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

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

Elimination results for tame fields with finite residue fields
by: Anscombe, Sylvy, et al.
Published: (2026)

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

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

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

Characterizing NIP henselian fields
by: Sylvy Anscombe, et al.
Published: (2024)

Analytic Nullstellensätze and the model theory of valued fields
by: Aschenbrenner, Matthias, et al.
Published: (2022)

Models of Abelian varieties over valued fields, using model theory
by: Halevi, Yatir
Published: (2023)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
by: Gehret, Allen, et al.
Published: (2025)

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

A short note on model theory of C((t))
by: Zhang, Zhentao
Published: (2025)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Definable groups and fields in t-minimal theories
by: Johnson, Will
Published: (2026)

Model theory of differential-henselian pre-$H$-fields
by: Pynn-Coates, Nigel
Published: (2019)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
by: Meretzky, David, et al.
Published: (2026)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Formal model theory and higher topology
by: Ivan Di Liberti
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

The theory of maximal Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
by: Nguyen, Dong Quan Ngoc
Published: (2024)

Hyperbolicity and model-complete fields
by: Szachniewicz, Michał, et al.
Published: (2024)

Canonical quotients in model theory
by: Fernández, Adrián Portillo
Published: (2024)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)