Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
On inner constructivizability of admissible sets

Speaker: Alexey Stukachev
Presentation: talkCiE06.pdf
Slot: Sat, 17:20-17:40, Faraday B (col. 1)

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 of the rank of inner
constructivizability: it is equal to $\omega$ for superstructures
over finite structures and less or equal to 2 otherwise. We
introduce examples of hereditary finite superstructures with ranks
0, 1, 2. It is shown that hereditary finite superstructure
over the field of real numbers has rank 1. 


websites: Arnold Beckmann 2006-04-19 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net