Cover Image

Maximal WAP and tame quotients of type spaces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Krupiński, Krzysztof, Portillo, Adrián
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Maximal stable quotients of invariant types in NIP theories
by: Krupiński, Krzysztof, et al.
Published: (2023)

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

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

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

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

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

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

Dimension and topology in transserial tame pairs
by: Pynn-Coates, Nigel
Published: (2025)

Fixed points on null and tame flows for groups of automorphisms
by: Codenotti, Alessandro
Published: (2025)

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)

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

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

Degree spectra of homeomorphism types of compact Polish spaces
by: Hoyrup, Mathieu, et al.
Published: (2020)

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

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Elimination results for tame fields with finite residue fields
by: Anscombe, Sylvy, et al.
Published: (2026)

Maximal towers and ultrafilter bases in computability
by: Lempp, Steffen, et al.
Published: (2021)

Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
by: Chernikov, Artem, et al.
Published: (2024)

Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
by: Ketelsen, Margarete, et al.
Published: (2026)

Multi types and reasonable space
by: Accattoli, Beniamino, et al.
Published: (2022)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
by: He, Jialiang, et al.
Published: (2026)

Hybrid Maximal Filter Spaces
by: Gonzalez, David
Published: (2024)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

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

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

On Lambda functions in henselian and separably tame valued fields
by: Anscombe, Sylvy
Published: (2025)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
by: Krawczyk, Krzysztof A.
Published: (2024)

Sometimes tame, sometimes wild: weak continuity
by: Sanders, Sam
Published: (2024)

Model theory of tame valued fields and beyond: recent developments and open questions
by: Kuhlmann, Franz-Viktor
Published: (2025)

Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)

Weakly o-minimal types
by: Moconja, Slavko, et al.
Published: (2024)

On the Tukey types of Fubini products
by: Benhamou, Tom, et al.
Published: (2023)

Extreme types and extremal models
by: Bagheri, Seyed-Mohammad
Published: (2024)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
by: Rettich, Adrian
Published: (2024)

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

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

Delooping cyclic groups with lens spaces in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2024)

Partitions of Baire space into compact sets
by: Fischer, Vera, et al.
Published: (2023)