Cover Image

On some Fraisse limits with free amalgamation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bossut, Yvon
Format:	Preprint
Published:	2024
Subjects:	Logic 03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

A note on some example of NSOP1 theories
by: Bossut, Yvon
Published: (2023)

Looking for stabilizers in NSOP$\_1$
by: Bossut, Yvon
Published: (2025)

A note on stable Kim-forking
by: Bossut, Yvon
Published: (2025)

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

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
by: Hirvonen, Åsa, et al.
Published: (2024)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
by: Kostana, Ziemowit
Published: (2026)

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

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

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
by: Freund, Anton
Published: (2024)

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

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

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

Extensive embeddings into Fraïssé structures and stationary weak independence relations
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

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

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Sequent Calculi for some subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

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

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

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

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

Stationary tower free homogeneously Suslin scales
by: Schlutzenberg, Farmer, et al.
Published: (2024)

On Chwistek's criticism of Principia
by: Boyce, Stephen
Published: (2009)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

The spectrum of limit models in a first order setting
by: Beard, Jeremy
Published: (2025)

Reflections on Russell's antinomy
by: Cattabriga, Paola
Published: (2024)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
by: Sliusarev, Vladislav
Published: (2024)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

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

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

On some NIP Fragments of Fields
by: Moreno, Paulo Andrés Soto
Published: (2026)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

$ω$-consistency for Different Arrays of Quantifiers
by: Santos, Paulo Guilherme
Published: (2024)