Buchumschlag

Weakly o-minimal types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Moconja, Slavko, Tanović, Predrag
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Countable models of weakly quasi-o-minimal theories II
von: Moconja, Slavko, et al.
Veröffentlicht: (2026)

Countable models of weakly quasi-o-minimal theories I
von: Moconja, Slavko, et al.
Veröffentlicht: (2024)

Vaught's conjecture for theories of discretely ordered structures
von: Tanović, Predrag
Veröffentlicht: (2022)

The number of countable models of first-order theories
von: Pillay, Anand, et al.
Veröffentlicht: (2025)

Finite central extensions of o-minimal groups
von: Baro, Elías, et al.
Veröffentlicht: (2024)

Elementary extensions of almost o-minimal structures
von: Berraho, Mourad, et al.
Veröffentlicht: (2026)

A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems
von: Janičić, Predrag
Veröffentlicht: (2025)

Spectral Spaces in o-minimal and other NIP theories
von: Baro, Elías, et al.
Veröffentlicht: (2022)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
von: Masato Fujita
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Hensel minimality: Geometric criteria for $\ell$-h-minimality
von: Vermeulen, Floris
Veröffentlicht: (2022)

Uniform local weak o-minimality and $*$-local weak o-minimality
von: Fujita, Masato
Veröffentlicht: (2024)

Quasianalytic algebras with weakly smooth germs generate o-minimal structures
von: Guénet, Rémi
Veröffentlicht: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
von: Wang, Yiheng, et al.
Veröffentlicht: (2024)

Dp and other minimalities
von: Simon, Pierre, et al.
Veröffentlicht: (2019)

On dp-minimal expansions of the integers
von: Alouf, Eran
Veröffentlicht: (2020)

Weak Indestructibility and Reflection
von: Holland, James
Veröffentlicht: (2022)

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures
von: Freni, Pietro
Veröffentlicht: (2024)

Locally o-minimal open core
von: Fujita, Masato
Veröffentlicht: (2021)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
von: Gonzalez, Salwa Tabet, et al.
Veröffentlicht: (2024)

Topologically 1-based T-minimal Structures
von: Castle, Benjamin, et al.
Veröffentlicht: (2025)

A model theoretic proof for o-minimal coherence theorem
von: Fu, Yayi
Veröffentlicht: (2023)

Invariance of domain in locally o-minimal structures
von: Fujita, Masato
Veröffentlicht: (2026)

A New Weak Choice Principle
von: Halbeisen, Lorenz, et al.
Veröffentlicht: (2021)

Michael's selection theorem in general d-minimal structures
von: Fujita, Masato
Veröffentlicht: (2024)

A note on the cardinality of definable families of sets in o‐minimal structures
von: Pablo Andújar Guerrero
Veröffentlicht: (2024)

Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups
von: Eliana Barriga
Veröffentlicht: (2024)

Hodge theory and o-minimality at CIRM
von: Baldi, Gregorio
Veröffentlicht: (2025)

Open cell property in weakly o-minimal structures
von: Kawakami, Tomohiro, et al.
Veröffentlicht: (2025)

Strongly minimal group relics of algebraically closed valued fields
von: Onshuus, Alf, et al.
Veröffentlicht: (2024)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields
von: Halevi, Yatir, et al.
Veröffentlicht: (2025)

Flows with minimal subdynamics
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2025)

Non-elementary categoricity and projective locally o-minimal classes
von: Zilber, Boris
Veröffentlicht: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

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

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
von: Yung, Clement
Veröffentlicht: (2024)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
von: Ulrich, Danielle
Veröffentlicht: (2024)

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
von: Wang, Xiaoduo
Veröffentlicht: (2025)