Displaying similar documents to “Axiom of choice for finite sets”

On subspaces of pseudo-radial spaces

Jin Yuan Zhou (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is proved that, under the Martin’s Axiom, every T 1 -space with countable tightness is a subspace of some pseudo-radial space. We also give several characterizations of subspaces of pseudo-radial spaces and conclude that being a subspace of a pseudo-radial space is a local property.

Verification of the Formal Concept Analysis.

José Antonio Alonso, Joaquín Borrego, María José Hidalgo, Francisco Jesús Martín Mateos, José Luis Ruiz Reina (2004)

RACSAM

Similarity:

This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform specifications of algorithms based on finite sets into other executable ones, preserving its correctness. We illustrate this method by constructing an executable algorithm to compute an implicational base of the system of implications between attributes of a finite formal...