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

How to Cite

Baleva, V. (2001). Regular enumerations for abstract structures. Ann. Sofia Univ. Fac. Math. And Inf., 93, 39–48. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/201

Issue

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

Section

Articles