On minimal pairs and minimal degrees in higher recursion theory.
On minimal separating Boolean algebras.
On mixed product of Boolean algebras
On modelling of large variable systems of higher degree by means of language systems
On models in the alternative set theory
On models of arithmetic having non-modular substructure lattices
On models of certain formulas with a predicate letter of lenght n
On models of finite direct products of theories
On models with large automorphism groups.
On Models with Undefinable Elements.
On monadic quantale algebras: basic properties and representation theorems
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.
On Monk’s questions
We deal with Boolean algebras and their cardinal functions: π-weight π and π-character πχ. We investigate the spectrum of π-weights of subalgebras of a Boolean algebra B. Next we show that the π-character of an ultraproduct of Boolean algebras may be different from the ultraproduct of the π-characters of the factors.
On MPT-implication functions for fuzzy logic.
This paper deals with numerical functions J : [0,1] x [0,1] → [0,1] able to functionally express operators →: [0,1]X x [0,1]Y → [0,1]XxY defined as (μ → σ)(x,y) = J(μ(x),σ(y)), and verifying either Modus Ponens or Modus Tollens, or both. The concrete goal of the paper is to search for continuous t-norms T and strong-negation functions N for which it is either T(a, J(a,b)) ≤ b (Modus Ponens) or T(N(b), J(a,b)) ≤ N(a) (Modus Tollens), or both, for all a,b in [0,1] and a given J. Functions J are taken...
On Multiset Ordering
Formalization of a part of [11]. Unfortunately, not all is possible to be formalized. Namely, in the paper there is a mistake in the proof of Lemma 3. It states that there exists x ∈ M1 such that M1(x) > N1(x) and (∀y ∈ N1)x ⊀ y. It should be M1(x) ⩾ N1(x). Nevertheless we do not know whether x ∈ N1 or not and cannot prove the contradiction. In the article we referred to [8], [9] and [10].
On -fold implicative filters of lattice implication algebras.
On n × m-valued Łukasiewicz-Moisil algebras
n×m-valued Łukasiewicz algebras with negation were introduced and investigated in [20, 22, 23]. These algebras constitute a non trivial generalization of n-valued Łukasiewicz-Moisil algebras and in what follows, we shall call them n×m-valued Łukasiewicz-Moisil algebras (or LM n×m -algebras). In this paper, the study of this new class of algebras is continued. More precisely, a topological duality for these algebras is described and a characterization of LM n×m -congruences in terms of special subsets...
On near-standardness in Hilbert spaces.
On necessary but not-sufficient conditions.
On NIP and invariant measures
We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if does not fork over then the Lascar strong type of over coincides with the compact strong type of over and any global nonforking extension of is Borel definable over , (ii) analogous statements for Keisler measures and definable groups, including the fact that for definably amenable,...
On nonmeasurable images
Let be a Polish ideal space and let be any set. We show that under some conditions on a relation it is possible to find a set such that is completely -nonmeasurable, i.e, it is -nonmeasurable in every positive Borel set. We also obtain such a set simultaneously for continuum many relations Our results generalize those from the papers of K. Ciesielski, H. Fejzić, C. Freiling and M. Kysiak.