:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Moconja, Slavko, Tanović, Predrag
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2404.08260
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

Countable models of weakly quasi-o-minimal theories I
by: Moconja, Slavko, et al.
Published: (2024)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

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

Finite central extensions of o-minimal groups
by: Baro, Elías, et al.
Published: (2024)

Elementary extensions of almost o-minimal structures
by: Berraho, Mourad, et al.
Published: (2026)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
by: Masato Fujita
Published: (2025)

Uniform local weak o-minimality and $*$-local weak o-minimality
by: Fujita, Masato
Published: (2024)

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

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures
by: Freni, Pietro
Published: (2024)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Quasianalytic algebras with weakly smooth germs generate o-minimal structures
by: Guénet, Rémi
Published: (2025)

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

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)

Hensel minimality: Geometric criteria for $\ell$-h-minimality
by: Vermeulen, Floris
Published: (2022)

Locally o-minimal open core
by: Fujita, Masato
Published: (2021)

Invariance of domain in locally o-minimal structures
by: Fujita, Masato
Published: (2026)

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

Hodge theory and o-minimality at CIRM
by: Baldi, Gregorio
Published: (2025)

A model theoretic proof for o-minimal coherence theorem
by: Fu, Yayi
Published: (2023)

Open cell property in weakly o-minimal structures
by: Kawakami, Tomohiro, et al.
Published: (2025)

On dp-minimal expansions of the integers
by: Alouf, Eran
Published: (2020)

A note on the cardinality of definable families of sets in o‐minimal structures
by: Pablo Andújar Guerrero
Published: (2024)

Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups
by: Eliana Barriga
Published: (2024)

Weak Indestructibility and Reflection
by: Holland, James
Published: (2022)

Non-elementary categoricity and projective locally o-minimal classes
by: Zilber, Boris
Published: (2022)

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

Ring theory in o-minimal structures
by: Conversano, Annalisa
Published: (2025)

A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)

Michael's selection theorem in general d-minimal structures
by: Fujita, Masato
Published: (2024)

Flows with minimal subdynamics
by: Bernshteyn, Anton, et al.
Published: (2025)

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

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

Strongly minimal group relics of algebraically closed valued fields
by: Onshuus, Alf, et al.
Published: (2024)

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

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

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

The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields
by: Halevi, Yatir, et al.
Published: (2025)

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