Models of logical systems (Q5792477): Difference between revisions

@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5835081
@@ Property / cites work: Q5835081 / rank @@
+Normal rank
@@ Property / cites work @@
+Über Extremalaxiome
@@ Property / cites work: Über Extremalaxiome / rank @@
+Normal rank