Truth Definitions and Consistency Proofs (Q5812184): Difference between revisions

@@ label / en / label / en @@
+Truth Definitions and Consistency Proofs
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1990668
@@ Property / full work available at URL: https://doi.org/10.2307/1990668 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4253580986
@@ Property / OpenAlex ID: W4253580986 / rank @@
+Normal rank
@@ Property / title @@
+Truth Definitions and Consistency Proofs (English)
@@ Property / title: Truth Definitions and Consistency Proofs (English) / rank @@
+Normal rank
@@ Property / cites work @@
+A system of axiomatic set theory—Part II
@@ Property / cites work: A system of axiomatic set theory—Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4756727
@@ Property / cites work: Q4756727 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of<i>ω</i>-completeness
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A construction for consistent systems
@@ Property / cites work: A construction for consistent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard models for formal logics
@@ Property / cites work: Non-standard models for formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Über deduktive Theorien mit mehreren Sorten von Grunddingen
+Normal rank
@@ Property / cites work @@
+Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
+Normal rank
@@ Property / cites work @@
+On undecidable statements in enlarged systems of logic and the concept of truth
+Normal rank
@@ Property / cites work @@
+Q5839923
@@ Property / cites work: Q5839923 / rank @@
+Normal rank
@@ Property / cites work @@
+A new theory of element and number
@@ Property / cites work: A new theory of element and number / rank @@
+Normal rank
@@ Property / cites work @@
+On Zermelo's and Von Neumann's Axioms for Set Theory
+Normal rank
@@ Property / cites work @@
+Remarks on the Comparison of Axiom Systems
@@ Property / cites work: Remarks on the Comparison of Axiom Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic Translations of Axiom Systems
@@ Property / cites work: Arithmetic Translations of Axiom Systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5812184