Buchumschlag

Trace definability II: model-theoretic linearity

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 III: Infinite dimensional space over a model of $T$
von: Walsberg, Erik
Veröffentlicht: (2026)

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

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

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)

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

Proof-theoretic methods in quantifier-free definability
von: Kocsis, Zoltan A.
Veröffentlicht: (2023)

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

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

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

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

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

Characterizing fragments of collection principle in set theory with model theoretic properties
von: Chen, Junhong
Veröffentlicht: (2025)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

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

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

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
von: Takemura, Ryo
Veröffentlicht: (2025)

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)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

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

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

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

Game-theoretic variants of cardinal invariants
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2023)

Game-theoretic variants of splitting number
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

A model theoretic proof for o-minimal coherence theorem
von: Fu, Yayi
Veröffentlicht: (2023)

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