Q4323666
type: Item
instance of: scholarly article
zbMATH Open document ID: 0815.03034
author: Sang Mun Kim
publication date: 1995-02-20T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 724682
zbMATH Keywords: Löb's Theorem
zbMATH Keywords: Gödel's First Incompleteness Theorem
zbMATH Keywords: standard faithful provability predicate
MaRDI profile type: Publication
Recommended article: Q3705451
Recommended article: An Equivalent Form of Picard’s Theorem and Beyond
Recommended article: Q5144131
Recommended article: Q4022776
Recommended article: Theorems analogous to Jacobsthal's theorem
Recommended article: Q3728677
Recommended article: A theorem of Lohwater and Piranian
Recommended article: A particular of equivalent of picard's little theorem
Recommended article: A proof of Łojasiewicz's theorem
Recommended article: Q4372131
description: scientific article; zbMATH DE number 724682