Q3317075
type: Item
instance of: scholarly article
zbMATH Open document ID: 0534.03001
author: Elliott Mendelson
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03Cxx
Mathematics Subject Classification ID: 03Dxx
Mathematics Subject Classification ID: 03Exx
Mathematics Subject Classification ID: 03Hxx
zbMATH DE Number: 3847355
zbMATH Keywords: NBG set theory
zbMATH Keywords: ZFM 192,19
zbMATH Keywords: elementary extension, ultrapower
zbMATH Keywords: non- standard analysis
zbMATH Keywords: quantification theory
zbMATH Keywords: Gödel's incompleteness theorem
zbMATH Keywords: formal number theory
zbMATH Keywords: first-order arithmetic
zbMATH Keywords: effective computability
zbMATH Keywords: algorithms
MaRDI profile type: Publication
Recommended article: Q3718676
Recommended article: Q3518697
Recommended article: Q4729754
Recommended article: Q3760497
Recommended article: Q3768858
Recommended article: Q3718677
Recommended article: Q4531074
Recommended article: Q3515180
Recommended article: Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig
description: scientific article