:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Moconja, Slavko, Tanović, Predrag
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2404.08260
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Locally o-minimal open core
di: Fujita, Masato
Pubblicazione: (2021)

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

Dp and other minimalities
di: Simon, Pierre, et al.
Pubblicazione: (2019)

Hodge theory and o-minimality at CIRM
di: Baldi, Gregorio
Pubblicazione: (2025)

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

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

On dp-minimal expansions of the integers
di: Alouf, Eran
Pubblicazione: (2020)

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

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

Weak Indestructibility and Reflection
di: Holland, James
Pubblicazione: (2022)

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

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

Ring theory in o-minimal structures
di: Conversano, Annalisa
Pubblicazione: (2025)

A New Weak Choice Principle
di: Halbeisen, Lorenz, et al.
Pubblicazione: (2021)

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

Flows with minimal subdynamics
di: Bernshteyn, Anton, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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