The following notion of forcing was introduced by Grigorieff [2]: Let I ⊂ ω be an ideal, then P is the set of all functions p : ω → 2 such that dom(p) ∈ I. The usual Cohen forcing corresponds to the case when I is the ideal of finite subsets of ω. In [2] Grigorieff proves that if I is the dual of a p-point ultrafilter, then ω1 is preserved in the generic extension. Later, when Shelah introduced...

We apply the semantic tool of non-deterministic matrices to characterize two important properties of canonical Gentzen-type calculi: invertibility of rules and axiom expansion. We show that in every canonical calculus G satisfying a natural condition, the following are equivalent: (i) the connectives of G admit axiom expansion, (ii) the rules of G are invertible, and (iii) G has a characteristi...

A complete, recursive axiomatization of a subsystem of Levesque’s only-knowing logic is given. The sublogic is obtained by relaxing some of Levesque’s semantic conditions while keeping the most important definitions unchanged. The axiom system is obtained by adding an axiom of Humberstone to a subset of the set of Levesque’s axioms. The completeness result is proved using the subordination meth...

We study properties of closure operators of singular cofinality, and introduce several ZFC sufficient and equivalent conditions for the existence of antichain sequences in posets of singular cofinality. We also notice that the Proper Forcing Axiom implies the Milner-Sauer conjecture.

For axiom A diffeomorphisms and equilibrium state, we prove a Large deviation result for the sequence of successive return times into a fixed open set, under some assumption on the boundary. Our result relies on and extends the work by Chazottes and Leplaideur who where considering cylinder sets of a Markov partition.

In this note we interpret Voevodsky’s Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category Qt in which the mapping Hom(w)(Z × B,C) : Qt −→ Sets is functorial in Z and represented in Qt satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question repo...

We show that the product of infranilmanifolds with certain aspherical closed manifolds do not support Anosov diffeomorphisms. As a special case, we obtain that products of a nilmanifold and negatively curved manifolds of dimension at least 3 do not support Anosov diffeomorphisms. Mathematics Subject Classification. Primary 37D20; Secondary 55R10, 57R19, 37C25.

In this paper, we study trees of uncountable regular heights containing ascending paths of small width. This combinatorial property of trees generalizes the concept of a cofinal branch and it causes trees to be non-special not only in V, but also in every cofinality-preserving outer model of V. Moreover, under certain cardinal arithmetic assumptions, the non-existence of such paths through a tr...

this paper examines the semantic contribution of -?r and -andeh suffixes in persian based on lieber’s (2004) lexical semantic representation. this framework using six semantic features ([material], [dynamic], [location], [ieps] , [b] and [ci] and a principle called coordination principle studies the semantic contribution of lexical items including affixes and their functions in compounding, der...

It is known that Equations (1) – (3) are related to both generalizations of Gödel’s Second Incompleteness Theorem and to its boundary-case exceptions. For instance, Equation (1) will enable the Second Incompleteness Theorem to apply to Hilbert deduction. Also, [36, 38] showed that the semantic tableaux version of the Second Incompleteness Theorem generalizes for essentially all axiom systems th...