Towards the Construction of a Model of Mizar Concepts

Grzegorz Bancerek

Displaying similar documents to “Towards the Construction of a Model of Mizar Concepts”

A Model of Mizar Concepts - Unification

Grzegorz Bancerek (2010)

Formalized Mathematics

Similarity:

The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction from the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The concepts formalized here are: standarized constructor signature, arity-rich signatures, and the unification of Mizar expressions.

On quasi-p-bounded subsets

M. Sanchis, A. Tamariz-Mascarúa (1999)

Colloquium Mathematicae

Similarity:

The notion of quasi-p-boundedness for p ∈ $ω^{*}$ is introduced and investigated. We characterize quasi-p-pseudocompact subsets of β(ω) containing ω, and we show that the concepts of RK-compatible ultrafilter and P-point in $ω^{*}$ can be defined in terms of quasi-p-pseudocompactness. For p ∈ $ω^{*}$ , we prove that a subset B of a space X is quasi-p-bounded in X if and only if B × $P_{R K} (p)$ is bounded in X × $P_{R K} (p)$ , if and only if $c l_{β (X \times P_{R K} (p))} (B \times P_{R K} (p)) = c l_{β X} B \times β (ω)$ , where $P_{R K} (p)$ is the set of Rudin-Keisler predecessors of p.

On quasi $\tilde{g} s$ -open and quasi $\tilde{g} s$ -closed functions.

Rajesh, N., E.Ekici (2008)

Bulletin of the Malaysian Mathematical Sciences Society. Second Series

Similarity:

Quasi-analyticity in Carleman ultraholomorphic classes

Alberto Lastra, Javier Sanz (2010)

Annales de l’institut Fourier

Similarity:

We give a characterization for two different concepts of quasi-analyticity in Carleman ultraholomorphic classes of functions of several variables in polysectors. Also, working with strongly regular sequences, we establish generalizations of Watson’s Lemma under an additional condition related to the growth index of the sequence.