Image de couverture de livre

Truncation Structures

Fuente: arXiv

Enregistré dans:

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

Documents similaires

Extending Fubini Measures
par: Dries, Lou van den
Publié: (2025)

Analytic Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2023)

Short Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2025)

Revisiting second-order linear differential equations over Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2026)

Normalizing Asymptotic Differential Equations
par: Aschenbrenner, Matthias, et autres
Publié: (2024)

Relative differential closure in Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2024)

Filling gaps in Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2023)

The theory of maximal Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2024)

Maximal Hardy Fields
par: Aschenbrenner, Matthias, et autres
Publié: (2023)

Constructing $ω$-free Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2024)

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
par: Bhardwaj, Neer, et autres
Publié: (2024)

Asymptotic Differential Algebra and Model Theory of Transseries
par: Aschenbrenner, Matthias, et autres
Publié: (2015)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
par: Heuvel, Bas van den
Publié: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
par: Heuvel, Bas van den, et autres
Publié: (2021)

Comparing Session Type Systems derived from Linear Logic
par: Heuvel, Bas van den, et autres
Publié: (2024)

Feasibility Preservation under Monotone Retrieval Truncation
par: Plummer, Sean
Publié: (2026)

A constructive approach to the double-categorical small object argument
par: Berg, Benno van den, et autres
Publié: (2025)

Information Flow Control in Cyclic Process Networks
par: Heuvel, Bas van den, et autres
Publié: (2024)

Constructing (Co)inductive Types via Large Sizes
par: Laarakker, Bastiaan, et autres
Publié: (2026)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
par: Haak, Lars B. van den, et autres
Publié: (2024)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
par: Beers, Adrian, et autres
Publié: (2025)

Structural completeness in quasivarieties
par: Aglianó, Paolo, et autres
Publié: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

Structural Completeness in bi-IPC
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2025)

Separating Many Localisation Cardinals on the Generalised Baire Space
par: van der Vlugt, Tristan
Publié: (2022)

Cardinal Characteristics on Bounded Generalised Baire Spaces
par: van der Vlugt, Tristan
Publié: (2023)

Topologically 1-based T-minimal Structures
par: Castle, Benjamin, et autres
Publié: (2025)

Examples and Nonexamples of Distal Metric Structures
par: Anderson, Aaron, et autres
Publié: (2025)

Uniform Bounds in D-Minimal Structures
par: Farris, Madie, et autres
Publié: (2026)

Counting in Uncountably Categorical Pseudofinite Structures
par: Van Abel, Alexander
Publié: (2021)

On the Effectiveness of Partition Regularity over Algebraic Structures
par: Laboska, Gabriela
Publié: (2025)

Big Ramsey Degrees in Ultraproducts of Finite Structures
par: Bartošová, Dana, et autres
Publié: (2022)

Generalised Indiscernibles, Dividing Lines, and Products of Structures
par: Meir, Nadav, et autres
Publié: (2023)

Suszko's Thesis and Many-valued Logical Structures
par: Roy, Sayantan, et autres
Publié: (2024)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
par: Baldwin, John, et autres
Publié: (2024)