A kind of categoricity
type: Item
instance of: scholarly article
title: A kind of categoricity
zbMATH Open document ID: 0108.00503
author: Andrzej Grzegorczyk
published in: Colloquium Mathematicum
publication date: 1962-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/210909
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 3176045
zbMATH Keywords: constructive categoricity
zbMATH Keywords: systems of axioms
zbMATH Keywords: constructive categorical
zbMATH Keywords: Skolem function
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W875955906
DOI: 10.4064/CM-9-2-183-187
description: scientific article