Second Order Definability Via enumerations
type: Item
instance of: scholarly article
title: Second Order Definability Via enumerations
zbMATH Open document ID: 0736.03014
author: Ivan N. Soskov
published in: Mathematical Logic Quarterly
publication date: 1992-06-26T00:00:00Z
Mathematics Subject Classification ID: 03D75
zbMATH DE Number: 24055
zbMATH Keywords: search computability
zbMATH Keywords: recursively enumerable definitional schemes
zbMATH Keywords: external characterization
zbMATH Keywords: second order computable objects on abstract structures
zbMATH Keywords: search computable functionals
MaRDI profile type: Publication
full work available at URL: malq.19910370206
OpenAlex ID: W2025460935
DOI: 10.1002/MALQ.19910370206
Recommended article: Second-order and Inductive Definability on Finite Structures
Recommended article: Definability of second order generalized quantifiers
Recommended article: Q4395573
Recommended article: Q4395569
Recommended article: Definability via enumerations
Recommended article: Characterizing Definability of Second-Order Generalized Quantifiers
Recommended article: Definability in the enumeration degrees
Recommended article: Second-order characterizable cardinals and ordinals
Recommended article: Definable Sets in Ordered Structures. II
Recommended article: Q3509078
description: scientific article; zbMATH DE number 24055