:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Dries, Lou van den
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2512.22640
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extending Fubini Measures
by: Dries, Lou van den
Published: (2025)

Analytic Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2023)

Short Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2025)

Revisiting second-order linear differential equations over Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2026)

Normalizing Asymptotic Differential Equations
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Relative differential closure in Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Filling gaps in Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2023)

The theory of maximal Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Maximal Hardy Fields
by: Aschenbrenner, Matthias, et al.
Published: (2023)

Constructing $ω$-free Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
by: Bhardwaj, Neer, et al.
Published: (2024)

Asymptotic Differential Algebra and Model Theory of Transseries
by: Aschenbrenner, Matthias, et al.
Published: (2015)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
by: Heuvel, Bas van den, et al.
Published: (2021)

Comparing Session Type Systems derived from Linear Logic
by: Heuvel, Bas van den, et al.
Published: (2024)

Feasibility Preservation under Monotone Retrieval Truncation
by: Plummer, Sean
Published: (2026)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
by: Haak, Lars B. van den, et al.
Published: (2024)

A constructive approach to the double-categorical small object argument
by: Berg, Benno van den, et al.
Published: (2025)

Information Flow Control in Cyclic Process Networks
by: Heuvel, Bas van den, et al.
Published: (2024)

Constructing (Co)inductive Types via Large Sizes
by: Laarakker, Bastiaan, et al.
Published: (2026)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
by: Beers, Adrian, et al.
Published: (2025)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
by: Bogaerts, Bart, et al.
Published: (2022)

Structural completeness in quasivarieties
by: Aglianó, Paolo, et al.
Published: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Separating Many Localisation Cardinals on the Generalised Baire Space
by: van der Vlugt, Tristan
Published: (2022)

Cardinal Characteristics on Bounded Generalised Baire Spaces
by: van der Vlugt, Tristan
Published: (2023)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)

Structural Completeness in bi-IPC
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

Topologically 1-based T-minimal Structures
by: Castle, Benjamin, et al.
Published: (2025)

Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)

Uniform Bounds in D-Minimal Structures
by: Farris, Madie, et al.
Published: (2026)

Counting in Uncountably Categorical Pseudofinite Structures
by: Van Abel, Alexander
Published: (2021)