A new concept of predicative truth and definability (Q2264656): Difference between revisions

@@ Property / author @@
-N. N. Nepejvoda
@@ Property / author: N. N. Nepejvoda / rank @@
-Normal rank
@@ Property / author @@
+N. N. Nepejvoda
@@ Property / author: N. N. Nepejvoda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2264656