Syntactical truth predicates for second order arithmetic (Q2732276): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2694919
@@ Property / full work available at URL: https://doi.org/10.2307/2694919 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2009074483
@@ Property / OpenAlex ID: W2009074483 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal model for set theory
@@ Property / cites work: A minimal model for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of constructible sets of integers
+Normal rank
@@ Property / cites work @@
+Second order arithmetic and related topics
@@ Property / cites work: Second order arithmetic and related topics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344167
@@ Property / cites work: Q5344167 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2732276