Certain predicates defined by induction schemata

DOI10.2307/2266327zbMath0051.00504OpenAlexW2155087643MaRDI QIDQ5819444

Hao Wang

Publication date: 1953

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266327

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (3)

Arithmetical Predicates and Function Quantifiers ⋮ Nicht-Standardmodelle der Zahlentheorie ⋮ Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)

This page was built for publication: Certain predicates defined by induction schemata