:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Tzouvaras, Athanassios
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2603.11630
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An observer-based approach to the sorites paradox and the logic derived from that
di: Tzouvaras, Athanassios
Pubblicazione: (2026)

Sets with dependent elements: A formalization of Castoriadis' notion of magma
di: Tzouvaras, Athanassios
Pubblicazione: (2023)

On first-order definable operations on relational structures
di: Courcelle, Bruno
Pubblicazione: (2026)

The number of normal measures, revisited
di: Kaplan, Eyal
Pubblicazione: (2025)

Boolean-valued second-order logic revisited
di: Ikegami, Daisuke
Pubblicazione: (2025)

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

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

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

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

First-order definability of Darmon points in number fields
di: De Rasis, Juan Pablo, et al.
Pubblicazione: (2024)

Measures and stability in a model, revisited
di: d'Elbée, Christian, et al.
Pubblicazione: (2026)

Discrete sets definable in strong expansions of ordered Abelian groups
di: Dolich, Alfred, et al.
Pubblicazione: (2022)

On the number of cofinalities of cuts in ultraproducts of linear orders
di: Golshani, Mohammad
Pubblicazione: (2025)

On definable J-sets
di: Zhang, Zhentao
Pubblicazione: (2025)

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

On a lattice of relational spaces (reducts) for the order of integers
di: Semenov, A. L., et al.
Pubblicazione: (2024)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
di: Ikari, Hiroyuki, et al.
Pubblicazione: (2026)

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

Multi-representation associated to the numbering of a subbasis and formal inclusion relations
di: Rauzy, Emmanuel
Pubblicazione: (2023)

Model theory of term algebras revisited
di: Carolillo, Davide, et al.
Pubblicazione: (2026)

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

Trace definability I: preservation and characterizations
di: Walsberg, Erik
Pubblicazione: (2025)

An order analysis of hyperfinite Borel equivalence relations
di: Gao, Su, et al.
Pubblicazione: (2024)

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

Trace definability IV: higher arity notions
di: Walsberg, Erik
Pubblicazione: (2026)

Trace definability II: model-theoretic linearity
di: Walsberg, Erik
Pubblicazione: (2026)

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

The short exact sequence in definable Galois cohomology
di: Meretzky, David
Pubblicazione: (2024)

One-dimensional F-definable sets in F((t))
di: Anscombe, Sylvy
Pubblicazione: (2015)

Isomorphism types of definable (maximal) cofinitary groups
di: Schembecker, Lukas
Pubblicazione: (2025)

Free Independence is not definable
di: Boulanger, William, et al.
Pubblicazione: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
di: Walsberg, Erik
Pubblicazione: (2026)

On first-order model checking parameterized by the number of variables
di: Jedelský, Jan
Pubblicazione: (2026)

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

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

Extensional concepts in intensional type theory, revisited
di: Kapulkin, Chris, et al.
Pubblicazione: (2023)

Limits of definable families and dilations in nilmanifolds
di: Peterzil, Ya'acov, et al.
Pubblicazione: (2024)

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

Orthogonal decomposition of definable groups
di: Berarducci, Alessandro, et al.
Pubblicazione: (2021)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
di: Asperó, David, et al.
Pubblicazione: (2018)