Cover Image

Maximal stable quotients of invariant types in NIP theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Krupiński, Krzysztof, Portillo, Adrián
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

Maximal WAP and tame quotients of type spaces
by: Krupiński, Krzysztof, et al.
Published: (2025)

Canonical quotients in model theory
by: Fernández, Adrián Portillo
Published: (2024)

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

On f-generic types in NIP groups
by: Stonestrom, Atticus
Published: (2023)

Smooth measures and the canonical retraction in NIP theories
by: Pigé, Xavier
Published: (2024)

Spectral Spaces in o-minimal and other NIP theories
by: Baro, Elías, et al.
Published: (2022)

On the structure of approximate rings
by: Krupiński, Krzysztof, et al.
Published: (2026)

Characterizing NIP henselian fields
by: Anscombe, Sylvy, et al.
Published: (2019)

Existential characterizations of monadic NIP
by: Braunfeld, Samuel, et al.
Published: (2022)

n-dependent continuous theories and hyperdefinable sets
by: Fernández, Adrián Portillo
Published: (2024)

Topological dynamics and the complexity of strong types
by: Krupiński, Krzysztof, et al.
Published: (2015)

Characterizations of monadic NIP
by: Braunfeld, Samuel, et al.
Published: (2021)

Stabilizers and NIP arithmetic regularity
by: Conant, G., et al.
Published: (2025)

On first order amenability
by: Hrushovski, Ehud, et al.
Published: (2020)

Glivenko-Cantelli classes and NIP formulas
by: Khanaki, Karim
Published: (2021)

On large externally definable sets in NIP
by: Bays, Martin, et al.
Published: (2022)

A note on transfer maps and the Morley product in NIP theories
by: Gannon, Kyle
Published: (2024)

Generating ideals by additive subgroups of rings
by: Krupiński, Krzysztof, et al.
Published: (2020)

On n-distality, n-triviality and hypergraph regularity in NIP theories
by: Chernikov, Artem, et al.
Published: (2026)

Externally definable fsg groups in NIP theories
by: Chernikov, Artem
Published: (2025)

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

Translating between NIP integral domains and topological fields
by: Johnson, Will
Published: (2025)

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

Dp-finite and Noetherian NIP integral domains
by: Johnson, Will
Published: (2023)

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

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

NIP and Distal Metric Structures
by: Anderson, Aaron
Published: (2023)

Bi-invariant types, reliably invariant types, and the comb tree property
by: Hanson, James E.
Published: (2023)

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

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

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

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

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

Convolution semigroups for automorphism dynamics
by: Gannon, Kyle, et al.
Published: (2025)

Non-forking independence in stable theories
by: Martin-Pizarro, Amador
Published: (2024)

Generic bidirectional typing for dependent type theories
by: Felicissimo, Thiago
Published: (2023)

Maximal Prikry Sequences
by: Schimmerling, Ernest, et al.
Published: (2026)

Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)