Extremal axioms

The research topics 1 and 2 should be investigated in the first year of the project. The research will be conducted by the author of the project. The research will be conducted by

a minimal model axiom (e.g. Fraenkel’s Restriction Axiom) a maximal model axiom (e.g. Hilbert’s Completeness Axiom) a minimal structure axiom (e.g. axioms for successor function)

They worked in type theory and tried to express in that language the fact that an extremal axiom is either a maximal axiom (like Hilbert’s completeness axiom, which was later

Some Extremal Problems for the Class Sa Pewne problemy ekstremalne dla klasy 8a Некоторые экстремальные проблемы для класса Sa.. is defined by the formula zf

Let {y}*-> k = 1,2,..., be the enumerable system of families of closed, rectifiable Jordan curves y situated in the unit disk A, containing two fixed, different points z2, z3e

pings in the mean are closely related to the extremal problems for quasiconformal mappings with a prescribed dilatation bound which is a oounded function of a complex

tion and probability. From the practical point of view, however, it may be argued that the new definition gives no particular advantages with respect to the

We also find maximal volume noncentral sections of the cross-polypote by hyperplanes which are at a fixed large distance to the origin and minimal volume sections by symmetric slabs