Definability degrees for classes in the alternative set theory
Definizione dei clan binari e loro classificazione
L’albero binario (libero) è una struttura analoga a quella dei numeri naturali (standard), salvo che ci sono due operazioni di successivo. Nello studio degli alberi binari non standard, si ha bisogno di strutture ordinate che stiano a quella di albero binario libero come la struttura (ordinata) Z sta ad N. Si introducono perciò i clan binari e se ne studiano le classi di isomorfismo. Si dimostra che esse sono determinate dalle classi di similitudine delle successioni numerabili di 2 elementi, avendo...
Der Hilbertsche Irreduzibilitätssatz.
Dimension of indiscernibility equivalences
Dimensional compactness in biequivalence vector spaces
The notion of dimensionally compact class in a biequivalence vector space is introduced. Similarly as the notion of compactness with respect to a -equivalence reflects our nonability to grasp any infinite set under sharp distinction of its elements, the notion of dimensional compactness is related to the fact that we are not able to measure out any infinite set of independent parameters. A fairly natural Galois connection between equivalences on an infinite set and classes of set functions ...