Finiteness is mu-ineffable
type: Item
instance of: scholarly article
title: Finiteness is mu-ineffable
zbMATH Open document ID: 0353.02027
DOI: 10.1016/0304-3975(76)90022-0
author: David Park
published in: Theoretical Computer Science
publication date: 1977-01-01T00:00:00Z
full work available at URL: WRAP Park cs-rr-003.pdf
Mathematics Subject Classification ID: 03D99
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 3548964
MaRDI profile type: Publication
OpenAlex ID: W1979159285
cites work: Q5649409
cites work: Q4168046
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Q4766569
cites work: On formalised computer programs
cites work: Q5537599
description: scientific article; zbMATH DE number 3548964