Cover Image

Some definable types that cannot be amalgamated

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hils, Martin, Mennuni, Rosario
Format:	Preprint
Published:	2022
Subjects:	Logic Primary: 03C45, Secondary: 03C30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The domination monoid in henselian valued fields
by: Hils, Martin, et al.
Published: (2021)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)

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

Weakly binary expansions of dense meet-trees
by: Mennuni, Rosario
Published: (2020)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)

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

Density of compressible types and some consequences
by: Bays, Martin, et al.
Published: (2021)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

Beautiful pairs
by: Kovacsics, Pablo Cubides, et al.
Published: (2021)

Product of Invariant Types Modulo Domination-Equivalence
by: Mennuni, Rosario
Published: (2018)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Nonvaluational ordered Abelian groups of finite burden
by: Fujita, Masato
Published: (2025)

The O-minimal Zilber Conjecture in Higher Dimensions
by: Castle, Benjamin
Published: (2024)

On the spectrum of limit models
by: Beard, Jeremy, et al.
Published: (2025)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

Long limit models are isomorphic assuming a splitting-like relation
by: Beard, Jeremy
Published: (2025)

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

Towards a Finer Classification of Strongly Minimal Sets
by: Baldwin, John T., et al.
Published: (2021)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)

On Stability and Existence of Models in Abstract Elementary Classes
by: Mazari-Armida, Marcos, et al.
Published: (2024)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
by: Hossain, Akash
Published: (2024)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

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

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

Irregular triads in 3-uniform hypergraphs
by: Terry, C., et al.
Published: (2021)

An Approximate AKE Principle for Metric Valued Fields
by: Hils, Martin, et al.
Published: (2022)

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)