Algorithmes d'élimination des quantificateurs
Algorithmic Constructions Inspired By Caporaso
Algorithmic constructions inspired by Caporaso.
Algorithmic representations of Wermus' constructions of ordinal numbers
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität.
Algorithmische Transformation von Papierstrukturen - Ein Beitrag zur Verallgemeinerung des Konstruktionsbegriffes
Algorithmization of algebras and relational structures
Algoritmus
All General Reproductive Solutions of Boolean Equations
All General Solutions of Finite Equations
All Liouville Numbers are Transcendental
In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an example of an object which can be approximated “quite closely” by a sequence of rational numbers. A real...
All reproductive solutions of finite equations.
Almost approximately convex functions
Almost direct products and saturation
Almost disjoint families: An application to linear algebra.
Almost disjoint families and “never” cardinal invariants
We define two cardinal invariants of the continuum which arise naturally from combinatorially and topologically appealing properties of almost disjoint families of sets of the natural numbers. These are the never soft and never countably paracompact numbers. We show that these cardinals must both be equal to under the effective weak diamond principle , answering questions of da Silva S.G., On the presence of countable paracompactness, normality and property in spaces from almost disjoint families,...
Almost disjoint families and property (a)
We consider the question: when does a Ψ-space satisfy property (a)? We show that if then the Ψ-space Ψ(A) satisfies property (a), but in some Cohen models the negation of CH holds and every uncountable Ψ-space fails to satisfy property (a). We also show that in a model of Fleissner and Miller there exists a Ψ-space of cardinality which has property (a). We extend a theorem of Matveev relating the existence of certain closed discrete subsets with the failure of property (a).
Almost every function is independent
Almost locatedness in uniform spaces
A weak form of the constructively important notion of locatedness is lifted from the context of a metric space to that of a uniform space. Certain fundamental results about almost located and totally bounded sets are then proved.
Almost maximal ideals