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

Algebra Logika, 2018 Volume 57, Number 4, Pages 476–491 (Mi al860)

This article is cited in 1 paper

Universal functions and unbounded branching trees

A. N. Khisamievab

a Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090 Russia
b Novosibirsk State University, ul. Pirogova 1, Novosibirsk, 630090 Russia

Abstract: It is proved that a universal $\Sigma$-function exists in a hereditarily finite superstructure over an unbounded branching tree of finite height.

Keywords: hereditarily finite superstructure, unbounded branching tree of finite height, universal $\Sigma$-function.

UDC: 512.540+510.5

Received: 12.01.2017

DOI: 10.17377/alglog.2018.57.405


 English version:
Algebra and Logic, 2018, 57:4, 309–319

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024