RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2005 Volume 5, Issue 1, Pages 69–76 (Mi vngu203)

This article is cited in 1 paper

On inner constructivizability of admissible sets

A. I. Stukachev


Abstract: We consider a problem of inner constructivizability of admissible sets by means of elements of a bounded rank. For hereditary finite superstructures we find the precise estimates for the rank of inner constructivizability: it is equal $\omega$ for superstructures over finite structures and less or equal 2 otherwise. We introduce examples of structures with hereditary finite superstructures with ranks 0, 1, 2. It is shown that hereditary finite superstructure over field of real numbers has rank 1.

UDC: 510.5



© Steklov Math. Inst. of RAS, 2024