:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Girón, Marcos
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2508.00511
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Continuous stable regularity
by: Chavarria, Nicolas, et al.
Published: (2021)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

An analytic version of stable arithmetic regularity
by: Conant, Gabriel, et al.
Published: (2024)

Elementary extensions of almost o-minimal structures
by: Berraho, Mourad, et al.
Published: (2026)

Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)

A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
by: Cohen, Cyril, et al.
Published: (2024)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

An almost strong relation
by: Garti, Shimon, et al.
Published: (2023)

Stabilized profunctors and stable species of structures
by: Fiore, Marcelo, et al.
Published: (2023)

Growth of regular partitions 2: Weak regularity
by: Terry, C.
Published: (2024)

Growth of regular partitions 4: strong regularity and the pairs partition
by: Terry, C.
Published: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
by: Terry, C.
Published: (2024)

Barely alternating real almost chains and extension operators for compact lines
by: Avilés, Antonio, et al.
Published: (2024)

Epsilon-saturation for stable graphs and Littlestone classes
by: Malliaris, Maryanthe, et al.
Published: (2025)

The tree property on long intervals of regular cardinals
by: Cummings, James, et al.
Published: (2025)

Computable classifications of continuous, transducer, and regular functions
by: Franklin, Johanna N. Y., et al.
Published: (2020)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

Decomposition horizons and a characterization of stable hereditary classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

A note on stable Kim-forking
by: Bossut, Yvon
Published: (2025)

Embedding stable groups into algebraic groups
by: Bartnick, Charlotte
Published: (2025)

Reverse mathematics of regular countable second countable spaces
by: Genovesi, Giorgio G.
Published: (2024)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
by: Sliusarev, Vladislav
Published: (2024)

Stationarity and elimination of imaginaries in stable and simple theories
by: Bartnick, Charlotte
Published: (2024)

Maximal stable quotients of invariant types in NIP theories
by: Krupiński, Krzysztof, et al.
Published: (2023)

The ineffectiveness of the regularity lemma for bounded degree graphs
by: Lyons, Clark, et al.
Published: (2025)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

Flipper games for monadically stable graph classes
by: Gajarský, Jakub, et al.
Published: (2023)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

Sealed Kurepa Trees
by: Giron, Itamar, et al.
Published: (2023)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
by: Bezhanishvili, Nick, et al.
Published: (2025)

On ordered groups of regular growth rates
by: Bagayoko, Vincent Mamoutou
Published: (2024)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

Approximate equivalence relations
by: Hrushovski, Ehud
Published: (2024)

Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Perfect stable regularity lemma and slice-wise stable hypergraphs
by: Chernikov, Artem, et al.
Published: (2024)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

Stabilizers and NIP arithmetic regularity
by: Conant, G., et al.
Published: (2025)