Buchumschlag

Transfer of generalized amalgamation in simple theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schilling, Baptiste
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Conant-independence and generalized free amalgamation
von: Mutchnik, Scott
Veröffentlicht: (2022)

On some Fraisse limits with free amalgamation
von: Bossut, Yvon
Veröffentlicht: (2024)

Stable amalgamation over a predicate and the Gaifman property
von: Shelah, Saharon, et al.
Veröffentlicht: (2025)

Weak saturation and weak amalgamation property
von: Di Liberti, Ivan
Veröffentlicht: (2017)

New simple theories from hypergraph sequences
von: Malliaris, M., et al.
Veröffentlicht: (2021)

Stationarity and elimination of imaginaries in stable and simple theories
von: Bartnick, Charlotte
Veröffentlicht: (2024)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
von: Balko, Martin, et al.
Veröffentlicht: (2021)

Selfless reduced amalgamated free products and HNN extensions
von: Gao, David, et al.
Veröffentlicht: (2026)

Fodor space in generalized descriptive set theory
von: Feldman, Ido, et al.
Veröffentlicht: (2026)

Some definable types that cannot be amalgamated
von: Hils, Martin, et al.
Veröffentlicht: (2022)

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

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

Complete type amalgamation for non-standard finite groups
von: Martin-Pizarro, Amador, et al.
Veröffentlicht: (2020)

The amalgamation property and Urysohn structures in continuous logic
von: Gao, Su, et al.
Veröffentlicht: (2023)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

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

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Higher amalgamation in $\mathrm{ACFA}^{+}$
von: Ludwig, Stefan Marian
Veröffentlicht: (2026)

Disjoint non-forking amalgamation in stable AECs
von: Beard, Jeremy
Veröffentlicht: (2026)

Residuated lattices do not have the amalgamation property
von: Jipsen, Peter, et al.
Veröffentlicht: (2025)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Transferring Compactness
von: Benhamou, Tom, et al.
Veröffentlicht: (2023)

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
von: Slavnov, Sergey
Veröffentlicht: (2023)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)

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

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

A simple formalization of alpha-equivalence
von: Apinis, Kalmer, et al.
Veröffentlicht: (2025)

On unsuperstable theories in GDST
von: Moreno, Miguel
Veröffentlicht: (2022)

Constructive theory of ordinals
von: Coquand, Thierry, et al.
Veröffentlicht: (2022)

Collusion Relations and their Applications to Balance Theory
von: Joinet, Jean-Baptiste, et al.
Veröffentlicht: (2026)

Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)

Dependent measures in independent theories
von: Khanaki, Karim
Veröffentlicht: (2021)

Indiscernibles in monadically NIP theories
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Model theory of term algebras revisited
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)