RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2022 Volume 61, Number 1, Pages 23–41 (Mi al2695)

Inner constructivizability of functional structures

A. S. Burnistova, A. I. Stukachevb

a Novosibirsk State University
b Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: We construct and look at examples of (functional) structures the hereditarily finite superstructures over which have rank of inner constructivizability 0.

Keywords: functional structure, hereditarily finite superstructure, inner constructivizability.

UDC: 510.5

Received: 20.07.2021
Revised: 07.06.2022

DOI: 10.33048/alglog.2022.61.102



© Steklov Math. Inst. of RAS, 2024