Cover Image

Trace definability III: Infinite dimensional space over a model of $T$

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Walsberg, Erik
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Trace definability II: model-theoretic linearity
by: Walsberg, Erik
Published: (2026)

Trace definability I: preservation and characterizations
by: Walsberg, Erik
Published: (2025)

Trace definability IV: higher arity notions
by: Walsberg, Erik
Published: (2026)

Nash maps over large fields
by: Walsberg, Erik
Published: (2025)

Derivations and gt-henselian field topologies
by: Walsberg, Erik
Published: (2025)

Dp and other minimalities
by: Simon, Pierre, et al.
Published: (2019)

The étale open topology over the fraction field of a henselian local domain
by: Johnson, Will, et al.
Published: (2021)

When is the étale open topology a field topology?
by: Dittmann, Philip, et al.
Published: (2022)

Large implies henselian
by: Johnson, Will, et al.
Published: (2025)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

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

Infinite Traces by Finality: a Sheaf-Theoretic Approach
by: Peressotti, Marco
Published: (2025)

The étale-open topology and the stable fields conjecture
by: Johnson, Will, et al.
Published: (2020)

Infinite trees
by: Goy, Alexandre
Published: (2025)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence
by: Fujita, Masato
Published: (2024)

On definable J-sets
by: Zhang, Zhentao
Published: (2025)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)

Continuity in Potential Infinite Models
by: Eberl, Matthias
Published: (2025)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

Complexity of Linear Equations and Infinite Gadgets
by: Grebík, Jan, et al.
Published: (2025)

One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups
by: Johnson, Will, et al.
Published: (2023)

Free Independence is not definable
by: Boulanger, William, et al.
Published: (2025)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
by: Buss, Sebastián, et al.
Published: (2024)

Algorithmic Randomness for Infinite Time Register Machines
by: Carl, Merlin
Published: (2014)

Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
by: Acosta, Juan Pablo, et al.
Published: (2021)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

On definability of C*-tensor norms
by: Goldbring, Isaac, et al.
Published: (2025)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
by: Aminof, Benjamin, et al.
Published: (2024)

Randomness and Degree Theory for Infinite Time Register Machines
by: Carl, Merlin
Published: (2015)

Space and Time Complexity for Infinite Time Turing Machines
by: Carl, Merlin
Published: (2019)