English
Related papers

Related papers: Elementary extensions of almost o-minimal structur…

200 papers

This paper is concerned with the characterizations of quasi self-adjoint extensions of a class of formally non-self-adjoint discrete Hamiltonian systems. Some properties of the solutions and the characterization of the minimal linear…

Spectral Theory · Mathematics 2025-12-11 Guojing Ren , Guixin Xu

Motivated by Berg's notion of quasi-disjointness for ergodic systems, we introduce and investigate the concept of quasi-disjointness for minimal systems. Several equivalent characterizations are provided. We prove that quasi-disjointness is…

Dynamical Systems · Mathematics 2026-05-29 Hui Xu , Xiangdong Ye

We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spaces, minimal complexes, or any concrete model of fibrant…

Category Theory · Mathematics 2017-08-29 Christian Sattler

Suppose that ${\mathcal M}$ is a model of PA and ${\mathcal N}$ is a countably generated elementary end extension of ${\mathcal M}$. Let ${\mathfrak X}$ be the set of subsets of M that are coded by ${\mathcal N}$. Then ${\mathcal M}$ has a…

Logic · Mathematics 2016-09-09 James H. Schmerl

We give a short discussion about a weaker form of minimality (called quasi-minimality). We call a system quasi-minimal if all dense orbits form an open set. It is hard to find examples which are not already minimal. Since elliptic behaviour…

Dynamical Systems · Mathematics 2019-06-10 Christian Pries

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

Logic · Mathematics 2026-02-24 Slavko Moconja , Predrag Tanović

A class of structures is said to have the homomorphism-preservation property just in case every first-order formula that is preserved by homomorphisms on this class is equivalent to an existential-positive formula. It is known by a result…

Logic in Computer Science · Computer Science 2009-03-08 Anuj Dawar

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Logic · Mathematics 2022-10-07 Masato Fujita , Tomohiro Kawakami , Wataru Komine

We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs.

Logic · Mathematics 2014-10-28 Martin Bays , Bradd Hart , Tapani Hyttinen , Meeri Kesälä , Jonathan Kirby

The main motivation of this paper is the study of first-order model theoretic properties of structures having their roots in modal logic. We will focus on the connections between ultrafilter extensions and ultrapowers. We show that certain…

Logic · Mathematics 2024-05-28 Zalán Molnár

Recent work of Pickett has given a construction of self-dual normal bases for extensions of finite fields, whenever they exist. In this article we present these results in an explicit and constructive manner and apply them, through computer…

Number Theory · Mathematics 2012-03-06 François Arnault , Erik Jarl Pickett , Stéphane Vinatier

In this article, after recalling and discussing the conventional extremality, local extremality, stationarity and approximate stationarity properties of collections of sets and the corresponding (extended) extremal principle, we focus on…

Optimization and Control · Mathematics 2018-05-15 Hoa T. Bui , Alexander Y. Kruger

In this paper, we investigate a novel form of approximate orthogonality that is based on integral orthogonality. Additionally, we establish the fundamental properties of this new approximate orthogonality and examine its capability to…

Functional Analysis · Mathematics 2024-03-19 Ranran Wang , Qi Liu , Jinyu Xia , Yongmo Hu

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…

Logic · Mathematics 2024-04-17 Kien Huu Nguyen , Mathias Stout , Floris Vermeulen

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Logic · Mathematics 2026-02-24 Slavko Moconja , Predrag Tanović

An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic…

Logic · Mathematics 2014-08-27 Hans Schoutens

Z. Zhou et al. proved that in a Teichm\"uller equivalence class, there exists an extremal quasiconformal mapping with a weakly non-decreasable dilatation. In this paper, we prove that in an infinitesimal equivalence class, there exists a…

Complex Variables · Mathematics 2019-11-18 Guowu Yao

We examine an extension of General Relativity with an explicit non-minimal coupling between matter and curvature. The purpose of this work is to present an overview of the implications of the latter to various contexts, ranging from…

General Relativity and Quantum Cosmology · Physics 2014-01-20 Orfeu Bertolami , Jorge Páramos

We consider extensions of differential fields of mappings and obtain a lower energy bound for quasiconformal extension fields in terms of the topological degree. We also consider the related minimization problem for the $q$-harmonic energy,…

Complex Variables · Mathematics 2010-06-14 Pekka Pankka , Kai Rajala

We give a proof of the o-minimal version of the Whitney Extension Theorem simplified as compared to the original ones. A new simplifying ingredient is a definable variant of Urysohn's lemma for class $\mathcal{C}^q$ (see Section 3).

Logic · Mathematics 2026-03-17 Beata Kocel-Cynk , Wiesław Pawłucki , Anna Valette