High Q ceramics of Ba3W2O9 (BW)-substituted Ba(Zn1/3Nb2/3) O3 (BZN) were prepared with a zero τf through the partial substitution of Zn by Ni and Co. The small concentrations of B-site vacancies introduced by the substitution of BW accelerated the kinetics and stability of the cation ordering and lowered the sintering temperature. Dense, zero τzf, ordered solid solutions such as 0.99Ba(Zn0.3Co0...

In this proceedings a particular example from [KMPY] is presented: the construction of the level 2 Fock space of Uq(ŝl2). The generating ideal of the wedge relations is given and the wedge space defined. Normal ordering of wedges is defined in terms of the energy function. Normally ordered wedges form a base of the wedge space. The q-deformed Fock space is defined as the space of semi-infinite ...

We prove the following version of Hechler's classical theorem: For each partially ordered set (Q,≤) with the property that every countable subset of Q has a strict upper bound in Q, there is a ccc forcing notion such that in the generic extension for each tall analytic P-ideal I (coded in the ground model) a co nal subset of (I,⊆∗) is order isomorphic to (Q,≤).

For posets P and Q, extremal saturation problems about weak strong P-free subposets of Q have been studied mostly in the case is Boolean poset Qn, all subsets an n-element set ordered by inclusion. In this paper, we study some instances problem with being grid, its connections to forbidden submatrix problem.

This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of...

We extend the recently introduced framework of metric distortion to multiwinner voting. In this framework, n agents and m alternatives are located in an underlying space. The exact distances between unknown. Instead, each agent provides a ranking alternatives, ordered from closest farthest. Typically, goal is select single alternative that approximately minimizes total distance agents, worst-ca...

the notion of absorbent ordered filters in implicative semigroupsis introduced, and its fuzzification is considered. relations among (fuzzy) orderedfilters, (fuzzy) absorbent ordered filters, and (fuzzy) positive implicativeordered filters are stated. the extensionproperty for (fuzzy) absorbent orderedfilters is established. conditions for (fuzzy) ordered filters to be (fuzzy)absorbent ordered ...

Only the usual axioms of set theory are needed to prove the existence of a Baire space whose square is not a Baire space. Assuming the continuum hypothesis (CH), Oxtoby [9] constructed a Baire space whose square is not Baire. We will show in this paper that the assumption of CH is unnecessary. Such results are greatly enhanced by Krom [5], who showed that if there is such an example, then there...

The Stern poset S is a graded infinite naturally associated with Stern's triangle, which was defined by Stanley, in analogy Pascal's triangle. Stanley noted that every interval distributive lattice. Let Pn denote the unique (up to isomorphism) for set of its order ideals, ordered inclusion, isomorphic from element row 0 triangle n-th r sufficiently large r. For n?1 letLn(q)=2?(?k=12n?1APk(q))+A...

We give a criterion when an expansion of the ordered set of real numbers defines the image of (R,+, ·,N) under a semialgebraic injection. In particular, we show that for a non-quadratic irrational number α, the expansion of the ordered Q(α)-vector space of real numbers by N defines multiplication on R.