Tootfinder

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
https://arxiv.org/abs/2507.10979

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, where counting them precisely poses a significant challenge due to the seemingly endless interconnected nature of the network (e.g., counting vehicles on the road). In such scenarios, the presence of infinitely many subsystems within the network renders the existing analysis frameworks tailored for finite networks inapplicable to infinite ones. This paper is concerned with offering a data-…

This https://arxiv.org/abs/2112.12859 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Countable, Dense, Dedekind-Complete Subset of $\mathbb{R}$ Constructed by Extending $\mathbb{Q}$ via Simultaneous Marking of Closed Intervals with Rational Endpoints
This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are non-denumerable within ZF (Zermelo-Fraenkel set theory), the precise cardinality of the continuum remains unsettled and depends critically on model assumptions. For instance, under Gödel's inner-model axiom V=Ultimate L, the Continuum Hypothesis (CH) holds, whereas Marti…