Related papers: Krull dimension of types in a class of first-order…
In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…
Let T be a complete local (Noetherian) equidimensional ring with maximal ideal m such that the Krull dimension of T is at least two and the depth of T is at least two. Suppose that no integer of T is a zerodivisor and that |T|=|T/m|. Let d…
Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…
Let $H$ be a Krull monoid with class group $G$. Then $H$ is factorial if and only if $G$ is trivial. Sets of lengths and sets of catenary degrees are well studied invariants describing the arithmetic of $H$ in the non-factorial case. In…
We to a large extent sort out when does a (first order complete theory) T have a superlimit model in a cardinal lambda . Also we deal with relation notions of being limit.
This expository paper treats the model theory of probability spaces using the framework of continuous $[0,1]$-valued first order logic. The metric structures discussed, which we call probability algebras, are obtained from probability…
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the…
It is known that there exist an infinite number of inequivalent quantizations on a topologically nontrivial manifold even if it is a finite-dimensional manifold. In this paper we consider the abelian sigma model in (1+1) dimensions to…
We showed that the principle of nongravitating vacuum energy, when formulated in the first order formalism, solves the cosmological constant problem. The most appealing formulation of the theory displays a local symmetry associated with the…
We describe the layer of quantifier alternation depth at most one of the quantifier completion of a Boolean doctrine over a small category. This amounts to a doctrinal version of Herbrand's theorem for formulas with quantifier alternation…
We review the developments of a recently proposed approach to study integrable theories in any dimension. The basic idea consists in generalizing the zero curvature representation for two-dimensional integrable models to space-times of…
The randomization of a complete first order theory $T$ is the complete continuous theory $T^R$ with two sorts, a sort for random elements of models of $T$, and a sort for events in an underlying probability space. We study various notions…
We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory…
Throughout, $T$ denotes a complete first-order theory in a countable language $L$ that has infinite models and $I(\aleph_0,T)$ denotes the number of countable models of $T$, up to an isomorphism. To determine $I(\aleph_0,T)$, it suffices to…
The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for…
Let $P$ be a finitely generated ideal of a commutative ring $R$. Krull's Principal Ideal Theorem states that if $R$ is Noetherian and $P$ is minimal over a principal ideal of $R$, then $P$ has height at most one. Straightforward examples…
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…
Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already…
Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…
An atomic monoid is length-factorial if each two distinct factorizations of any element have distinct factorization lengths. We provide a characterization of length-factorial Krull monoids in terms of their class groups and the distribution…