Related papers: Some Model Theoretic Properties of Non-AC Generic …
In this dissertation, we present for each natural number $k$, semantic characterizations of the $\exists^k \forall^*$ and $\forall^k \exists^*$ prefix classes of first order logic sentences, over all structures finite and infinite. This…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (\beta) and a quaternary equidistance relation (\equiv). Tarski established, inter alia, that the first-order…
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
Many counterexamples are known in the class of small theories due to Goncharov and Millar. The prime model of a decidable small theory is not necessarily decidable. The saturated model of a hereditarily decidable small theory is not…
We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general…
We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable…
We generalize Hrushovski's Group Configuration Theorem to quasiminimal classes. As an application, we present Zariski-like structures, a generalization of Zariski geometries, and show that a group can be found there if the pregeometry…
In the paper we describe the C*-algebras of noncommutative spherical tight frames over some C*-algebras and then apply to study the noncommutative version of the universal classifying space.
We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…
We study the analytic and topological invariants associated with complex normal surface singularities. Our goal is to provide topological formulae for several discrete analytic invariants whenever the analytic structure is generic (with…
We construct topological string and topological membrane actions with a nontrivial 3-form flux H in arbitrary dimensions. These models realize Bianchi identities with a nontrivial H flux as consistency conditions. Especially, we discuss the…
In this paper it is stressed that there is no {\em physical} reason for symmetries to be linear and that Lie group theory is therefore too restrictive. We illustrate this with some simple examples. Then we give a readable review on the…
Motivated by the classical results by Halmos and Rokhlin on the genericity of weakly but not strongly mixing transformations and the Furstenberg tower construction, we show that weakly but not strongly mixing extensions on a fixed product…
The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…
Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable…
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…
We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite ad\`eles over Q. We show that various…
We shall consider some common models in linear thermo-elasticity within a common structural framework. Due to the flexibility of the structural perspective we will obtain well-posedness results for a large class of generalized models…
Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…