Regular enumerations for abstract structures

Authors

  • Vessela Baleva

Keywords:

abstract structures, admissible sets, definability, enumeration jump, enumeration reducibility, enumerations, forcing

Abstract

Using the method of regular enumerations in the context of definability, we obtain a normal form for the sets which are $\sum_{n+1}$-admissible in some partial structure.

Downloads

Published

2001-12-12

Issue

Vol. 93 (2001): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles

How to Cite

Regular enumerations for abstract structures. (2001). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 93, 39-48. https://annual.uni-sofia.bg/index.php/fmi/article/view/201