A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
A minimal model for strong analysis
A modal logic of consistency
A model for barrecursion of higher types
A model for HAS. A topological interpretation of the theory of species of natural numbers
A Model of Intuitionistic Analysis.
A model-theoretic Baire category theorem for simple theories and its applications
We prove a model-theoretic Baire category theorem for -sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially 1-based by means of the forking topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.
A model-theoretic transfer theorem for henselian valued fields.
A modification of Newton's method
A Multiplication Of M-Relations
A multiplication of m-relations.
A multivariate interlace polynomial and its computation for graphs of bounded clique-width.
A N. Bourbaki type general theory and the properties of contracting symbols and corresponding contracted forms.
A new approach for studying fuzzy functional equations.
A new approach to chordal graphs
By a chordal graph is meant a graph with no induced cycle of length . By a ternary system is meant an ordered pair , where is a finite nonempty set, and . Ternary systems satisfying certain axioms (A1)–(A5) are studied in this paper; note that these axioms can be formulated in a language of the first-order logic. For every finite nonempty set , a bijective mapping from the set of all connected chordal graphs with onto the set of all ternary systems satisfying the axioms (A1)–(A5) is...
A new approach to representation of observables on fuzzy quantum posets
We give a representation of an observable on a fuzzy quantum poset of type II by a pointwise defined real-valued function. This method is inspired by that of Kolesárová [6] and Mesiar [7], and our results extend representations given by the author and Dvurečenskij [4]. Moreover, we show that in this model, the converse representation fails, in general.
A new class of weakly countably determined Banach spaces
A class of Banach spaces, countably determined in their weak topology (hence, WCD spaces) is defined and studied; we call them strongly weakly countably determined (SWCD) Banach spaces. The main results are the following: (i) A separable Banach space not containing ℓ¹(ℕ) is SWCD if and only if it has separable dual; thus in particular, not every separable Banach space is SWCD. (ii) If K is a compact space, then the space C(K) is SWCD if and only if K is countable.
A new class of weakly -analytic Banach spaces
In this paper we define and investigate a new subclass of those Banach spaces which are -analytic in their weak topology; we call them strongly weakly -analytic (SWKA) Banach spaces. The class of SWKA Banach spaces extends the known class of strongly weakly compactly generated (SWCG) Banach spaces (and their subspaces) and it is related to that in the same way as the familiar classes of weakly -analytic (WKA) and weakly compactly generated (WCG) Banach spaces are related. We show that: (i) not...
A new construction of a Kurepa tree with no Aronszajn subtree