Imagen de Portada

Maximal stable quotients of invariant types in NIP theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Krupiński, Krzysztof, Portillo, Adrián
Formato:	Preprint
Publicado:	2023
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Indiscernibles in monadically NIP theories
por: Braunfeld, Samuel, et al.
Publicado: (2024)

On f-generic types in NIP groups
por: Stonestrom, Atticus
Publicado: (2023)

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

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

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

Characterizing NIP henselian fields
por: Anscombe, Sylvy, et al.
Publicado: (2019)

Existential characterizations of monadic NIP
por: Braunfeld, Samuel, et al.
Publicado: (2022)

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

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

Characterizations of monadic NIP
por: Braunfeld, Samuel, et al.
Publicado: (2021)

Stabilizers and NIP arithmetic regularity
por: Conant, G., et al.
Publicado: (2025)

On first order amenability
por: Hrushovski, Ehud, et al.
Publicado: (2020)

Glivenko-Cantelli classes and NIP formulas
por: Khanaki, Karim
Publicado: (2021)

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

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

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

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

Externally definable fsg groups in NIP theories
por: Chernikov, Artem
Publicado: (2025)

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

Translating between NIP integral domains and topological fields
por: Johnson, Will
Publicado: (2025)

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

Dp-finite and Noetherian NIP integral domains
por: Johnson, Will
Publicado: (2023)

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

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

NIP and Distal Metric Structures
por: Anderson, Aaron
Publicado: (2023)

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

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

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

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

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

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

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

Convolution semigroups for automorphism dynamics
por: Gannon, Kyle, et al.
Publicado: (2025)

Non-forking independence in stable theories
por: Martin-Pizarro, Amador
Publicado: (2024)

Generic bidirectional typing for dependent type theories
por: Felicissimo, Thiago
Publicado: (2023)

Maximal Prikry Sequences
por: Schimmerling, Ernest, et al.
Publicado: (2026)

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

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)