Ершов, Ю.Л.. "$Σ$-предикаты конечных типов над допустимым множеством." Algebra i Logika 24.5 (1985): 499-536. <http://eudml.org/doc/187325>.
@article{Ершов1985, author = {Ершов, Ю.Л.}, journal = {Algebra i Logika}, keywords = {morphism; sigma set; sigma predicate; admissible sets}, language = {rus}, number = {5}, pages = {499-536}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {$Σ$-предикаты конечных типов над допустимым множеством}, url = {http://eudml.org/doc/187325}, volume = {24}, year = {1985}, }
TY - JOUR AU - Ершов, Ю.Л. TI - $Σ$-предикаты конечных типов над допустимым множеством JO - Algebra i Logika PY - 1985 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 24 IS - 5 SP - 499 EP - 536 LA - rus KW - morphism; sigma set; sigma predicate; admissible sets UR - http://eudml.org/doc/187325 ER -