:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Schilling, Baptiste
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2603.01871
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conant-independence and generalized free amalgamation
by: Mutchnik, Scott
Published: (2022)

On some Fraisse limits with free amalgamation
by: Bossut, Yvon
Published: (2024)

Stable amalgamation over a predicate and the Gaifman property
by: Shelah, Saharon, et al.
Published: (2025)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)

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

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
by: Balko, Martin, et al.
Published: (2021)

Selfless reduced amalgamated free products and HNN extensions
by: Gao, David, et al.
Published: (2026)

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)

Complete type amalgamation for non-standard finite groups
by: Martin-Pizarro, Amador, et al.
Published: (2020)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
by: Wrona, Michal
Published: (2024)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Higher amalgamation in $\mathrm{ACFA}^{+}$
by: Ludwig, Stefan Marian
Published: (2026)

Disjoint non-forking amalgamation in stable AECs
by: Beard, Jeremy
Published: (2026)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Simplicial complexes, stellar moves, and projective amalgamation
by: Solecki, Sławomir
Published: (2025)

A simple formalization of alpha-equivalence
by: Apinis, Kalmer, et al.
Published: (2025)

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
by: Slavnov, Sergey
Published: (2023)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Varieties defined by linear equations have the amalgamation property
by: Lipparini, Paolo
Published: (2021)

Transferring Compactness
by: Benhamou, Tom, et al.
Published: (2023)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Collusion Relations and their Applications to Balance Theory
by: Joinet, Jean-Baptiste, et al.
Published: (2026)

Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
by: Vienney, Jean-Baptiste
Published: (2026)

An algebra modality admitting countably many deriving transformations
by: Vienney, Jean-Baptiste
Published: (2025)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
by: Vienney, Jean-Baptiste
Published: (2023)

The Reachability Problem for Neural-Network Control Systems
by: Schilling, Christian, et al.
Published: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)