Buchumschlag

On definable J-sets

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

A short note on model theory of C((t))
von: Zhang, Zhentao
Veröffentlicht: (2025)

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

On large externally definable sets in NIP
von: Bays, Martin, et al.
Veröffentlicht: (2022)

On groups definable in $p$-adically closed fields
von: Pillay, Anand, et al.
Veröffentlicht: (2026)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)

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

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

A note on the cardinality of definable families of sets in o‐minimal structures
von: Pablo Andújar Guerrero
Veröffentlicht: (2024)

Discrete sets definable in strong expansions of ordered Abelian groups
von: Dolich, Alfred, et al.
Veröffentlicht: (2022)

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

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

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)

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

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

Trace definability IV: higher arity notions
von: Walsberg, Erik
Veröffentlicht: (2026)

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

$\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)

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

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

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

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

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

Star operation, microscopic sets and porous sets
von: Perkowska, Daria, et al.
Veröffentlicht: (2025)

Free sets, thin sets and rainbows for barriers
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2026)

Orthogonal decomposition of definable groups
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2021)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

A note on the definability of genus for Zariski geometries
von: García, Darío, et al.
Veröffentlicht: (2021)

On first-order definable operations on relational structures
von: Courcelle, Bruno
Veröffentlicht: (2026)

Local and global $d$-rigidity are not definable in the first order logic of graphs
von: Bernstein, Daniel Irving, et al.
Veröffentlicht: (2025)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
von: Tzouvaras, Athanassios
Veröffentlicht: (2026)

Differentiable approximation of continuous definable maps that preserves the image
von: Carbone, Antonio
Veröffentlicht: (2023)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
von: Džamonja, Mirna
Veröffentlicht: (2025)

Approximation and zero set of definable functions in a definably complete locally o-minimal structure
von: Fujita, Masato, et al.
Veröffentlicht: (2023)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

When do modal definability and preservation theorems transfer to the finite?
von: van Benthem, Johan, et al.
Veröffentlicht: (2026)

$G$-invariant definable Tietze extension theorem
von: Fujita, Masato, et al.
Veröffentlicht: (2024)

Definable sets in Skolem arithmetic
von: Kamiński, Łukasz
Veröffentlicht: (2025)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2025)