Image de couverture de livre

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Tzouvaras, Athanassios
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Sets with dependent elements: A formalization of Castoriadis' notion of magma
par: Tzouvaras, Athanassios
Publié: (2023)

On first-order definable operations on relational structures
par: Courcelle, Bruno
Publié: (2026)

The number of normal measures, revisited
par: Kaplan, Eyal
Publié: (2025)

Boolean-valued second-order logic revisited
par: Ikegami, Daisuke
Publié: (2025)

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

Local and global $d$-rigidity are not definable in the first order logic of graphs
par: Bernstein, Daniel Irving, et autres
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

A note on uniform definability of types over finite sets in partial orders of finite width
par: Krisam, Timo, et autres
Publié: (2024)

On the number of cofinalities of cuts in ultraproducts of linear orders
par: Golshani, Mohammad
Publié: (2025)

Measures and stability in a model, revisited
par: d'Elbée, Christian, et autres
Publié: (2026)

On definable J-sets
par: Zhang, Zhentao
Publié: (2025)

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

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
par: Ikari, Hiroyuki, et autres
Publié: (2026)

Discrete sets definable in strong expansions of ordered Abelian groups
par: Dolich, Alfred, et autres
Publié: (2022)

On a lattice of relational spaces (reducts) for the order of integers
par: Semenov, A. L., et autres
Publié: (2024)

PFA and the definability of the nonstationary ideal
par: Hoffelner, Stefan, et autres
Publié: (2023)

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

An order analysis of hyperfinite Borel equivalence relations
par: Gao, Su, et autres
Publié: (2024)

Model theory of term algebras revisited
par: Carolillo, Davide, et autres
Publié: (2026)

Modal definability in Kripke's theory of truth
par: Walsh, James
Publié: (2024)

Trace definability I: preservation and characterizations
par: Walsberg, Erik
Publié: (2025)

First-order definability of Darmon points in number fields
par: De Rasis, Juan Pablo, et autres
Publié: (2024)

Trace definability IV: higher arity notions
par: Walsberg, Erik
Publié: (2026)

Trace definability II: model-theoretic linearity
par: Walsberg, Erik
Publié: (2026)

On groups definable in geometric fields with generic derivations
par: Pillay, Anand, et autres
Publié: (2025)

The short exact sequence in definable Galois cohomology
par: Meretzky, David
Publié: (2024)

One-dimensional F-definable sets in F((t))
par: Anscombe, Sylvy
Publié: (2015)

Isomorphism types of definable (maximal) cofinitary groups
par: Schembecker, Lukas
Publié: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
par: Walsberg, Erik
Publié: (2026)

Free Independence is not definable
par: Boulanger, William, et autres
Publié: (2025)

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

Terms that define nuclei on residuated lattices: a case study of BL-algebras
par: Buss, Sebastián, et autres
Publié: (2024)

The unstable formula theorem revisited via algorithms
par: Malliaris, Maryanthe, et autres
Publié: (2022)

On definability of C*-tensor norms
par: Goldbring, Isaac, et autres
Publié: (2025)

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

The comparability numbers and the incomparability numbers
par: Goto, Tatsuya
Publié: (2023)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
par: Asperó, David, et autres
Publié: (2018)

Limits of definable families and dilations in nilmanifolds
par: Peterzil, Ya'acov, et autres
Publié: (2024)

Bijective proofs for Eulerian numbers of types B and D
par: Santocanale, Luigi
Publié: (2021)