Sets with dependent elements: A formalization of Castoriadis' notion of magma

2026-03-11T08:34:51Z

We present a formalization of collections that Cornelius Castoriadis calls ``magmas'', especially the property which mainly characterizes them and distinguishes them from the usual cantorian sets. It is the property of their elements to {\em depend} on other elements, either in a one-way or a two-way manner, so that one cannot occur in a collection without the occurrence of those dependent on it. Such a dependence relation can be represented by a pre-order relation $\preccurlyeq$ Then, working in a mild strengthening of the theory ${\rm ZFA}$, where $A$ is an infinite set of atoms equipped with a primitive pre-ordering $\preccurlyeq$, the class of magmas over $A$ is represented by the class $LO(A,\preccurlyeq)$ of nonempty open subsets of $A$ with respect to the lower topology of $\langle A,\preccurlyeq\rangle$. Next the pre-ordering $\preccurlyeq$ is shifted (by a kind of simulation) to a pre-ordering $\preccurlyeq^+$ on ${\cal P}(A)$, which turns out to satisfy the same non-minimality condition as well, and which, happily, when restricted to $LO(A,\preccurlyeq)$ coincides with $\subseteq$. This allows us to define a hierarchy $M_α(A)$, along all ordinals $α\geq 1$, the``magmatic hierarchy'', such that $M_1(A)=LO(A,\preccurlyeq)$, $M_{α+1}(A)=LO(M_α(A),\subseteq)$, and $M_α(A)=\bigcup_{β<α}M_β(A)$, for a limit ordinal $α$. For every $α\geq 1$, $M_α(A)\subseteq V_α(A)$, where $V_α(A)$ are the levels of the universe $V(A)$ of ${\rm ZFA}$. The class $M(A)=\bigcup_{α\geq 1}M_α(A)$ is the ``magmatic universe above $A$.''

Homotopy type theory as a language for diagrams of $\infty$-logoses

2026-03-10T21:56:35Z

We show that certain diagrams of $\infty$-logoses are reconstructed in homotopy type theory extended with some lex, accessible modalities, which enables us to use plain homotopy type theory to reason about not only a single $\infty$-logos but also a diagram of $\infty$-logoses. This also provides a higher dimensional version of Sterling's synthetic Tait computability -- a type theory for higher dimensional logical relations.

On the Concept of Arithmetic Conseqeunce

2026-03-10T16:54:51Z

Gödel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in which arithmetical language is evaluated with respect to an independently given structure of natural numbers. This paper develops an alternative perspective grounded in proof-theoretic semantics. We distinguish between derivability and a semantic notion of consequence given by support, defined compositionally in terms of the inferential roles fixed by a theory. For suitable arithmetical theories A formulated in a finite signature (such as Robinson's Q and Peano Arithmetic), these two notions can diverge in a principled way: although A does not prove its own consistency, it nevertheless supports its formalized consistency statement, and more generally supports sentences not derivable within it. This does not conflict with Gödel's incompleteness theorem, but instead reframes incompleteness as a divergence between two internally determined notions of consequence associated with a single theory, rather than as a gap between syntactic provability and truth in a mind-independent structure. The result clarifies the relationship between reflection, consistency, and inferentialist approaches to meaning, and shows how substantial semantic determinacy may arise from the inferential structure of arithmetic itself.

Locally $\aleph_0$-categorical theories and locally Roelcke precompact groups

2026-03-10T14:21:17Z

It is well-known that Polish Roelcke precompact groups are the groups that can be represented as automorphism groups of $\aleph_0$-categorical structures in continuous logic and that there is a precise correspondence between properties of the group and properties of the structure. The goal of this paper is to extend this correspondence to the classes of locally Roelcke precompact groups and locally $\aleph_0$-categorical structures, the latter of which we define here. We characterise locally Roelcke precompact groups in terms of their isometric actions. We define locally $\aleph_0$-categorical theories and structures, prove an appropriate version of the Ryll-Nardzewski theorem, and identify the Polish locally Roelcke precompact groups as the automorphism groups of such structures. In all locally $\aleph_0$-categorical structures, there is a definable metric, which we call localising, and which captures the coarse geometric structure of the corresponding automorphism group. We show that two locally $\aleph_0$-categorical structures are bi-interpretable if and only if their automorphism groups are isomorphic. Finally, we show that (the unit ball of) a Banach space is $\aleph_0$-categorical if and only if the corresponding affine space is locally $\aleph_0$-categorical (as a metric space).

Ignorance with(out) Grasping

2026-03-10T12:13:42Z

In this work, we argue that ignorance can be inherently understood as a hyperintensional notion. When faced with two logically or necessarily equivalent propositions, an agent may be ignorant of one while not of the other. To capture formally this intuition, we employ a topic-sensitive semantics, enabling the modeling of an agent's attitude toward the content of a proposition. Within this framework, we reevaluate three existing logical systems, usually characterized by standard Kripke semantics, to account for three forms of ignorance: ignorance whether, ignorance as unknown truth, and disbelieving ignorance. For each form, we present a sound and complete system. To highlight the advantage of this approach, we apply it to address the problem of logical omniscience rephrased in terms of ignorance. The resulting framework considers an agent's capacity to grasp the content of a proposition, bridging the gap between standard relational settings for ignorance representation and natural intuitions about the role of content in forming one's ignorance.

Fodor space in generalized descriptive set theory

2026-03-10T11:10:46Z

We study the continuous reducibility of isomorphism relations in the space of regresive functions in $κ^κ$. We show for inaccessible $κ$, that if $\mathcal{T}$ is a theory with less than $κ$ non-isomorphic models of size $κ$ and $\mathcal T'$ is unstable or superstable non-classifiable, then the isomorphism of models of $\mathcal{T}$ is continuous reducible to the isomorphism of models of $\mathcal{T}'$.

A Model Companion for Abelian Lattice-Ordered Groups with a Model Companion

2026-03-10T09:37:43Z

An abelian lattice-ordered group, or abelian $\ell$-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set maps for continuous functions into R. We demonstrate that this expansion is equivalent to equipping G with a spectral subspace X of $\ell$-Spec(G), along with the map sending $a \in G$ to $V(a \wedge 0) \cap X$. Using a classical partial quantifier elimination result originally due to Fuxing Shen and Volker Weispfenning, we show that one of these expansions admits a model companion, which is complete and has quantifier elimination in a small language expansion.

Constructing $ω$-free Hardy fields

2026-03-10T09:24:16Z

We show that every Hardy field extends to an $ω$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [10], and here we apply it to answer questions of Boshernitzan, and to generalize a theorem of his.

Bounding finite-image sequences of length $ω^k$

2026-03-10T00:18:15Z

Given a well-quasi-order $X$ and an ordinal $α$, the set $s^F_α(X)$ of transfinite sequences on $X$ with length less than $α$ and with finite image is also a well-quasi-order, as proven by Nash-Williams. Before Nash-Williams proved it for general $α$, however, it was proven for $α<ω^ω$ by Erdős and Rado. In this paper, we revisit Erdős and Rado's proof and improve upon it, using it to obtain upper bounds on the maximum linearization of $s^F_{ω^k}(X)$ in terms of $k$ and $o(X)$, where $o(X)$ denotes the maximum linearization of $X$. We show that, for fixed $k$, $o(s^F_{ω^k}(X))$ is bounded above by a function which can roughly be described as $(k+1)$-times exponential in $o(X)$. We also show that, for $k\le 2$, this bound is not far from tight.

Dimension of Generic Reals

2026-03-09T21:35:49Z

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $Γ$ be the Turing ideal in which we take the dense open sets. The set of $Γ$-Cohen generics has measure positive if and only if the gauge function is not dominated by every element in $Γ$, under some mild restrictions on the gauge function. The set of $Γ$-Mathias generics and the set of $Γ$-Sacks generics have measure positive if and only if the gauge function eventually dominates every element in $Γ$. This gives some comparison between the behavior of reals in the set and the measure of the set.

A Note on a Theorem of Apter

2026-03-09T20:33:21Z

We show that the consistency of $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + ``Θ$ is measurable$"$ implies the consistency of $\mathrm{ZF} +``Θ$ is the least strongly regular cardinal and the least measurable cardinal$"$ + $``$all uncountable cardinals below $Θ$ are of countable cofinality$"$.

A Comparison of Gauge Dimension and Effective Dimension

2026-03-09T18:27:39Z

We characterize the gauge profile of $\mathcal{D}_s$, the set of reals with effective dimension $s$, and $\mathcal{D}_{\leq s}$, the set of reals with effective dimension $\leq s$. Let $W(s)$ be the set of reals that are $s$-well approximable. This gives us a separation between $\mathcal{D}_{\leq s}$ and $W(2/s)$ in terms of Hausdorff measure.

On the expressive power of inquisitive team logic and inquisitive first-order logic

2026-03-09T17:24:20Z

Inquisitive team logic is a variant of inquisitive logic interpreted in team semantics, which has been argued to provide a natural setting for the regimentation of dependence claims. With respect to sentences, this logic is known to be expressively equivalent with first-order logic. In this article we show that, on the contrary, the expressive power of open formulas in this logic properly exceeds that of first-order logic. On the way to this result, we show that if inquisitive team logic is extended with the range-generating universal quantifier adopted in dependence logic, the resulting logic can express finiteness, and as a consequence, it is neither compact nor recursively axiomatizable. We further extend our results to standard inquisitive first-order logic, showing that some sentences of this logic express non first-order properties of models.

A formalization of Borel determinacy in Lean

2026-03-09T16:02:52Z

We present a formalization of Borel determinacy in the Lean 4 theorem prover. The formalization includes a definition of Gale-Stewart games and a proof of Martin's theorem stating that Borel games are determined. The proof closely follows Martin's "A purely inductive proof of Borel determinacy".

On the elementary theory of the real exponential field

2026-03-09T13:28:11Z

Assuming Schanuel's conjecture, we prove that the complete theory $T_{\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\exp' = \exp$. This implies the result of Macintyre and Wilkie that, under the same conjecture, $T_{\exp}$ is decidable. Our approach is based on the model completeness of a similar set of axioms for the exponential function restricted to $(-1,1)$, which we prove unconditionally.