Cover Image

Generalised Indiscernibles, Dividing Lines, and Products of Structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meir, Nadav, Papadopoulos, Aris, Touchard, Pierre
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
by: Boissonneau, Blaise, et al.
Published: (2024)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
by: Baldwin, John, et al.
Published: (2024)

Indiscernibles in monadically NIP theories
by: Braunfeld, Samuel, et al.
Published: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)

Dividing Lines between Positive Theories
by: Dmitrieva, Anna, et al.
Published: (2023)

On the global linear Zarankiewicz problem
by: Eleftheriou, Pantelis E., et al.
Published: (2025)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
by: Hanson, James E.
Published: (2025)

The externally definable Ramsey property and fixed points on type spaces
by: Meir, Nadav, et al.
Published: (2023)

Linear theories of global fields with absolute values
by: Fehm, Arno, et al.
Published: (2026)

Exact VC-Dimensions of Certain Geometric Set Systems
by: Eleftheriou, Pantelis E., et al.
Published: (2025)

Cardinal Characteristics on Bounded Generalised Baire Spaces
by: van der Vlugt, Tristan
Published: (2023)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
by: Kozhemiachenko, Daniil
Published: (2024)

A Class of Generalised Quantifiers for k-Variable Logics
by: Härtter, Janek, et al.
Published: (2026)

Separating Many Localisation Cardinals on the Generalised Baire Space
by: van der Vlugt, Tristan
Published: (2022)

Consequences of Dependent Dividing on Burden
by: Takahashi, Yuki
Published: (2025)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
by: Atkey, Robert, et al.
Published: (2024)

Game Comonads & Generalised Quantifiers
by: Conghaile, Adam Ó, et al.
Published: (2020)

Growing Spines: Ad Infinitum et Ad Infinitesimalia
by: Boissonneau, Blaise, et al.
Published: (2025)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
by: Džamonja, Mirna
Published: (2026)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Generalised Reachability Games Revisited
by: Bose, Sougata, et al.
Published: (2025)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
by: Clairambault, Pierre, et al.
Published: (2023)

Growing Spines Ad Infinitum
by: Boissonneau, Blaise, et al.
Published: (2025)

For Generalised Algebraic Theories, Two Sorts Are Enough
by: Avrillon, Samy, et al.
Published: (2026)

Generalised Quantifiers Based on Rabin-Mostowski Index
by: Kuperberg, Denis, et al.
Published: (2026)

Dp and other minimalities
by: Simon, Pierre, et al.
Published: (2019)

Transductions of Graph Classes Admitting Product Structure
by: Hliněný, Petr, et al.
Published: (2025)

Truncation Structures
by: Dries, Lou van den
Published: (2025)

Strong Dinatural Transformations and Generalised Codensity Monads
by: Piróg, Maciej, et al.
Published: (2025)

Structural completeness in quasivarieties
by: Aglianó, Paolo, et al.
Published: (2024)

On-the-fly LTLf Synthesis under Partial Observability
by: Alon, Nadav, et al.
Published: (2026)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

Preservation under Reduced Products in Continuous Logic
by: Fronteau, Ivory
Published: (2024)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

Structural Completeness in bi-IPC
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)

Topologically 1-based T-minimal Structures
by: Castle, Benjamin, et al.
Published: (2025)

Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)