Buchumschlag

Trace definability IV: higher arity notions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Walsberg, Erik
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Trace definability I: preservation and characterizations
von: Walsberg, Erik
Veröffentlicht: (2025)

Trace definability II: model-theoretic linearity
von: Walsberg, Erik
Veröffentlicht: (2026)

Trace definability III: Infinite dimensional space over a model of $T$
von: Walsberg, Erik
Veröffentlicht: (2026)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
von: Hanson, James E.
Veröffentlicht: (2025)

Derivations and gt-henselian field topologies
von: Walsberg, Erik
Veröffentlicht: (2025)

Nash maps over large fields
von: Walsberg, Erik
Veröffentlicht: (2025)

Dp and other minimalities
von: Simon, Pierre, et al.
Veröffentlicht: (2019)

When is the étale open topology a field topology?
von: Dittmann, Philip, et al.
Veröffentlicht: (2022)

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

Higher arity stability and the functional order property
von: Abd-Aldaim, A., et al.
Veröffentlicht: (2023)

Large implies henselian
von: Johnson, Will, et al.
Veröffentlicht: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

Averages of hypergraphs and higher arity stability
von: Chernikov, Artem, et al.
Veröffentlicht: (2025)

Higher-arity distality and forking triviality
von: Tong, Mervyn
Veröffentlicht: (2026)

Arbitrary-arity Tree Automata and QCTL
von: Laroussinie, François, et al.
Veröffentlicht: (2024)

Notes on the coexistence of limit notions
von: Yamazoe, Takashi
Veröffentlicht: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
von: Kihara, Takayuki
Veröffentlicht: (2022)

The étale-open topology and the stable fields conjecture
von: Johnson, Will, et al.
Veröffentlicht: (2020)

On fresh sets in iterations of Prikry type forcing notions
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Connectivity notions on compatible digraphs in equational classes
von: Gyenizse, Gergő, et al.
Veröffentlicht: (2026)

A background independent notion of causality
von: Capolupo, Antonio, et al.
Veröffentlicht: (2023)

On definable J-sets
von: Zhang, Zhentao
Veröffentlicht: (2025)

On the computational properties of basic mathematical notions
von: Normann, Dag, et al.
Veröffentlicht: (2022)

Some model-theoretic consequences of high-arity uniform convergence, part I
von: Coregliano, Leonardo N., et al.
Veröffentlicht: (2026)

PFA and the definability of the nonstationary ideal
von: Hoffelner, Stefan, et al.
Veröffentlicht: (2023)

Modal definability in Kripke's theory of truth
von: Walsh, James
Veröffentlicht: (2024)

On groups definable in geometric fields with generic derivations
von: Pillay, Anand, et al.
Veröffentlicht: (2025)

The short exact sequence in definable Galois cohomology
von: Meretzky, David
Veröffentlicht: (2024)

One-dimensional F-definable sets in F((t))
von: Anscombe, Sylvy
Veröffentlicht: (2015)

Isomorphism types of definable (maximal) cofinitary groups
von: Schembecker, Lukas
Veröffentlicht: (2025)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

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

Free Independence is not definable
von: Boulanger, William, et al.
Veröffentlicht: (2025)

High-arity PAC learning via exchangeability
von: Coregliano, Leonardo N., et al.
Veröffentlicht: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

On definability of C*-tensor norms
von: Goldbring, Isaac, et al.
Veröffentlicht: (2025)

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

Limits of definable families and dilations in nilmanifolds
von: Peterzil, Ya'acov, et al.
Veröffentlicht: (2024)

Failure of an higher analogue of Mho
von: Feldman, Ido
Veröffentlicht: (2024)