Dually slender modules and steady rings.
Dynamical properties of the automorphism groups of the random poset and random distributive lattice
A method is developed for proving non-amenability of certain automorphism groups of countable structures and is used to show that the automorphism groups of the random poset and random distributive lattice are not amenable. The universal minimal flow of the automorphism group of the random distributive lattice is computed as a canonical space of linear orderings but it is also shown that the class of finite distributive lattices does not admit hereditary order expansions with the Amalgamation Property....
-immune sets.
E. T. a infinitární Churchova teze
-стабильные теории
Easton functions and supercompactness
Suppose that κ is λ-supercompact witnessed by an elementary embedding j: V → M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton’s theorem: (1) ∀α α < cf(F(α)), and (2) α < β ⇒ F(α) ≤ F(β). We address the question: assuming GCH, what additional assumptions are necessary on j and F if one wants to be able to force the continuum function to agree with F globally, while preserving...
Easy lambda-terms are not always simple
A closed λ-term M is easy if, for any other closed term N, the lambda theory generated by M = N is consistent. Recently, it has been introduced a general technique to prove the easiness of λ-terms through the semantical notion of simple easiness. Simple easiness implies easiness and allows to prove consistency results via construction of suitable filter models of λ-calculus living in the category of complete partial orderings: given a simple easy term M and an arbitrary closed term N, it is possible...
Easy lambda-terms are not always simple
A closed λ-term M is easy if, for any other closed term N, the lambda theory generated by M = N is consistent. Recently, it has been introduced a general technique to prove the easiness of λ-terms through the semantical notion of simple easiness. Simple easiness implies easiness and allows to prove consistency results via construction of suitable filter models of λ-calculus living in the category of complete partial orderings: given ...
Edge decompositions of graphs with no large independent sets.
Editorial: Quantum structures, states and related topics
Eduard Helly, konvexita a funkcionální analýza
Effect algebra counterexamples
Effect algebras and ring-like structures
The dichotomic physical quantities, also called propositions, can be naturally associated to maps of the set of states into the real interval [0,1]. We show that the structure of effect algebra associated to such maps can be represented by quasiring structures, which are a generalization of Boolean rings, in such a way that the ring operation of addition can be non-associative and the ring multiplication non-distributive with respect to addition. By some natural assumption on the effect algebra,...
Effective bounds on Morley rank
Effective cofinalities and admissibility in E-recursion
Effective decomposition of σ-continuous Borel functions
We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering of X such that is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.
Effective taxonomies and crossed taxonomies
Effectiveness - non effectiveness in semialgebraic and PL geometry.
Efficient simulation of synchronous systems by multi-speed systems
We consider systems consisting of finite automata communicating by exchanging messages and working on the same read-only data. We investigate the situation in which the automata work with constant but different speeds. We assume furthermore that the automata are not aware of the speeds and they cannot measure them directly. Nevertheless, the automata have to compute a correct output. We call this model multi-speed systems of finite automata. Complexity measure that we consider here is the number...
Efficient simulation of synchronous systems by multi-speed systems
We consider systems consisting of finite automata communicating by exchanging messages and working on the same read-only data. We investigate the situation in which the automata work with constant but different speeds. We assume furthermore that the automata are not aware of the speeds and they cannot measure them directly. Nevertheless, the automata have to compute a correct output. We call this model multi-speed systems of finite automata. Complexity measure that we consider here is the...