On the interpolation property of some intuitionistic modal logics

LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM _L be the algebraic semantics ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM _L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM _L. Then we obtain the Craig interpolation theorem and Robinson theorem for two intuitionistic modal logics, one ofS ₄-type and the other one ofS ₅-type, showing the super-amalgamation property of the corresponding algebraic semantics.     

Groups,group actions and fields definable in first‐order topological structures

Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )$ equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V?G and define a new topology τ on G with which (G, ·) becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from M^m. Likewise we topologize transitive group actions and fields definable in $\mathcal {M}$. These results require a series of preparatory facts concerning dimension functions, some of which might be of independent interest.     

Projections in free product C $^*$–algebras, II

Let M be a connected sum of complete Riemannian manifolds satisfying the volume doubling condition and the Poincaré inequality. We prove that the space of polynomial growth harmonic functions on M is finite dimensional whenever M has finitely many ends and satisfies the finite covering condition on each end. This result directly generalizes that of Tam, and it also partially generalizes that of Colding and Minicozzi II. Received July 17, 1998; in final form December 2, 1998     

Mild manifolds and a non-standard Riemann existence theorem

Let be an o-minimal expansion of a real closed field R, and K be the algebraic closure of R. In earlier papers we investigated the notions of -definable K-holomorphic maps, K-analytic manifolds and their K-analytic subsets. We call such a K-manifold mild if it eliminates quantifers after endowing it with all it K-analytic subsets. Examples are compact complex manifolds and non-singular algebraic curves over K. We examine here basic properties of mild manifolds and prove that when a mild manifold M is strongly minimal and not locally modular then it is biholomorphic to a non-singular algebraic curve over K.      

Selection over classes of ordinals expanded by monadic predicates

A monadic formula ψ(Y) is a selector for a monadic formula φ(Y) in a structure M if ψ defines in M a unique subset P of the domain and this P also satisfies φ in M. If C is a class of structures and φ is a selector for ψ in every M∈C, we say that φ is a selector for φ over C.For a monadic formula φ(X,Y) and ordinals α≤ω₁ and δ<ω^ω, we decide whether there exists a monadic formula ψ(X,Y) such that for every P⊆αof order-type smaller thanδ, ψ(P,Y) selects φ(P,Y) in (α,<). If so, we construct such a ψ.We introduce a criterion for a class C of ordinals to have the property that every monadic formula φ has a selector over it. We deduce the existence of S⊆ω^ω such that in the structure (ω^ω,<,S) every formula has a selector.Given a monadic sentence π and a monadic formula φ(Y), we decide whether φ has a selector over the class of countable ordinals satisfying π, and if so, construct one for it.     

When Some Complement of a Submodule Is a Summand

A module M is said to satisfy the C ₁₁ condition if every submodule of M has a (i.e., at least one) complement which is a direct summand. It is known that the C ₁ condition implies the C ₁₁ condition and that the class of C ₁₁-modules is closed under direct sums but not under direct summands. We show that if M = M ₁ ⊕ M ₂, where M has C ₁₁ and M ₁ is a fully invariant submodule of M, then both M ₁ and M ₂ are C ₁₁-modules. Moreover, the C ₁₁ condition is shown to be closed under formation of the ring of column finite matrices of size Γ, the ring of m-by-m upper triangular matrices and right essential overrings. For a module M, we also show that all essential extensions of M satisfying C ₁₁ are essential extensions of C ₁₁-modules constructed from M and certain subsets of idempotent elements of the ring of endomorphisms of the injective hull of M. Finally, we prove that if M is a C ₁₁-module, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

Bases and closures under infinite sums

Motivated by work of Diestel and Kühn on the cycle spaces of infinite graphs we study the ramifications of allowing infinite sums in a module R^M. We show that every generating set in this setup contains a basis if the ground set M is countable, but not necessarily otherwise. Given a family N⊆R^M, we determine when the infinite-sum span N of N is closed under infinite sums, i.e. when N=N. We prove that this is the case if R is a field or a finite ring and each element of M lies in the support of only finitely many elements of N. This is, in a sense, best possible. We finally relate closures under infinite sums to topological closures in the product space R^M.     

More results on congruent modules

W.R. Scott characterized the infinite abelian groups G for which H≅G for every subgroup H of G of the same cardinality as G [W.R. Scott, On infinite groups, Pacific J. Math. 5 (1955) 589-598]. In [G. Oman, On infinite modules M over a Dedekind domain for which N≅M for every submodule N of cardinality |M|, Rocky Mount. J. Math. 39 (1) (2009) 259-270], the author extends Scott’s result to infinite modules over a Dedekind domain, calling such modules congruent, and in a subsequent paper [G. Oman, On modules M for which N≅M for every submodule N of size |M|, J. Commutative Algebra (in press)] the author obtains results on congruent modules over more general classes of rings. In this paper, we continue our study.     

Linear orderings and powers of characterizable cardinals

We say that a countable model M completely characterizes an infinite cardinal κ, if the Scott sentence of M has a model in cardinality κ, but no models in cardinality κ⁺. If a structure M completely characterizes κ, κ is called characterizable. In this paper, we concern ourselves with cardinals that are characterizable by linearly ordered structures (cf. Definition 2.1).Under the assumption of GCH, Malitz completely resolved the problem by showing that κ is characterizable if and only if κ=ℵ_α, for some α<ω₁ (cf. Malitz (1968) [7] and Baumgartner (1974) [1]). Our results concern the case where GCH fails.From Hjorth (2002) [3], we can deduce that if κ is characterizable, then κ⁺ is characterizable by a densely ordered structure (see Theorem 2.4 and Corollary 2.5).We show that if κ is homogeneously characterizable (cf. Definition 2.2), then κ is characterizable by a densely ordered structure, while the converse fails (Theorem 2.3).The main theorems are (1) If κ>2^λ is a characterizable cardinal, λ is characterizable by a densely ordered structure and λ is the least cardinal such that κ^λ>κ, then κ^λ is also characterizable (Theorem 5.4) and (2) if ℵ_α and κ^ℵ_α are characterizable cardinals, then the same is true for κ^ℵ_α+β, for all countable β (Theorem 5.5).Combining these two theorems we get that if κ>2^ℵ_α is a characterizable cardinal, ℵ_α is characterizable by a densely ordered structure and ℵ_α is the least cardinal such that κ^ℵ_α>κ, then for all β<α+ω₁, κ^ℵ_β is characterizable (Theorem 5.7). Also if κ is a characterizable cardinal, then κ^ℵ_α is characterizable, for all countable α (Corollary 5.6). This answers a question of the author in Souldatos (submitted for publication) [8].     

Oligomorphic clones

A permutation group on a countably infinite domain is called oligomorphic if it has finitely many orbits of finitary tuples. We define a clone on a countable domain to be oligomorphic if its set of permutations forms an oligomorphic permutation group. There is a close relationship to ω-categorical structures, i.e., countably infinite structures with a first-order theory that has only one countable model, up to isomorphism. Every locally closed oligomorphic permutation group is the automorphism group of an ω-categorical structure, and conversely, the canonical structure of an oligomorphic permutation group is an ω-categorical structure that contains all first-order definable relations. There is a similar Galois connection between locally closed oligomorphic clones and ω-categorical structures containing all primitive positive definable relations. In this article we generalise some fundamental theorems of universal algebra from clones over a finite domain to oligomorphic clones. First, we define minimal oligomorphic clones, and present equivalent characterisations of minimality, and then generalise Rosenberg’s five types classification to minimal oligomorphic clones. We also present a generalisation of the theorem of Baker and Pixley to oligomorphic clones. Presented by A. Szendrei. Received July 12, 2005; accepted in final form August 29, 2006.     

Model theory of the regularity and reflection schemes

Abstract  This paper develops the model theory of ordered structures that satisfy Keisler’s regularity scheme and its strengthening REF (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here is a language with a distinguished linear order <, and REF consists of formulas of the form

Uncountably categorical local tame abstract elementary classes with disjoint amalgamation

We prove Baldwin-Lachlan theorem for local (LS(K)-)tame abstract elementary classes K with disjoint amalgamation property and with LS(K)=ω. Partially supported by the Academy of Finland, grant 40734.     

A double arity hierarchy theorem for transitive closure logic

In this paper we prove that thek-ary fragment of transitive closure logic is not contained in the extension of the (k–1)-ary fragment of partial fixed point logic by all (2k–1)-ary generalized quantifiers. As a consequence, the arity hierarchies of all the familiar forms of fixed point logic are strict simultaneously with respect to the arity of the induction predicates and the arity of generalized quantifiers.Although it is known that our theorem cannot be extended to the sublogic deterministic transitive closure logic, we show that an extension is possible when we close this logic under congruence.Supported by a grant from the University of Helsinki. This research was initiated while he was a Junior Researcher at the Academy of FinlandThis article was processed by the author using the LATEX style filepljourlm from Springer-Verlag.     

On constants and the strict order property

Let T be a complete, countable, first-order theory with a finite number of countable models. Assuming that dcl(∅) is infinite we show that T has the strict order property. The author is supported by Ministry of Science and Technology of Serbia Thanks to the referee for the comments; thanks to Anand Pillay and the referee for a very quick procession of the paper.     

Pseudo real closed fields,pseudo p-adically closed fields and NTP2

The main result of this paper is a positive answer to the Conjecture 5.1 of [14] by A. Chernikov, I. Kaplan and P. Simon: If M is a PRC field, then $Th(M)$ is NTP₂ if and only if M is bounded. In the case of PpC fields, we prove that if M is a bounded PpC field, then $Th(M)$ is NTP₂. We also generalize this result to obtain that, if M is a bounded PRC or PpC field with exactly n orders or p-adic valuations respectively, then $Th(M)$ is strong of burden n. This also allows us to explicitly compute the burden of types, and to describe forking.     

Axiomatization of abelian-by-G groups for a finite group G

We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroups M ⁿ in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra. Received: 15 March 1996 / Published online: 18 July 2001     

Some Aspects on the Geometry of the Tangent Bundles and Tangent Sphere Bundles of a Riemannian Manifold

In this paper we study a Riemannian metric on the tangent bundle T(M) of a Riemannian manifold M which generalizes Sasaki metric and Cheeger–Gromoll metric and a compatible almost complex structure which confers a structure of locally conformal almost K?hlerian manifold to T(M) together with the metric. This is the natural generalization of the well known almost K?hlerian structure on T(M). We found conditions under which T(M) is almost K?hlerian, locally conformal K?hlerian or K?hlerian or when T(M) has constant sectional curvature or constant scalar curvature. Then we will restrict to the unit tangent bundle and we find an isometry with the tangent sphere bundle (not necessary unitary) endowed with the restriction of the Sasaki metric from T(M). Moreover, we found that this map preserves also the natural contact structures obtained from the almost Hermitian ambient structures on the unit tangent bundle and the tangent sphere bundle, respectively. This work was also partially supported by Grant CEEX 5883/2006–2008, ANCS, Romania.     

Planar normal sections on the natural imbedding of a flag manifold

We study the setX[M] of planar normal sections on the natural imbedding of a flag manifoldM. We characterizeX[M] and show that it is a real algebraic submanifold of P ⁿ (n=dimM). From results of Chen and Ferus, it may be concluded thatX[M] measures how farM is from a symmetricR-space. We compute the Euler characteristic ofX[M] and its complexificationX _c [M]. Our main result shows, in particular, thatx(X[M]) andx(X _c [M]) depend only on dimM and not on the nature ofM itself.