Arithmetical Predicates and Function Quantifiers (Q3226750): Difference between revisions

@@ Property / cites work @@
+A set of postulates for the foundation of logic
@@ Property / cites work: A set of postulates for the foundation of logic / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / 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 @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Die Definition durch vollständige Induktion
@@ Property / cites work: Die Definition durch vollständige Induktion / rank @@
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+On definable sets of positive integers
@@ Property / cites work: On definable sets of positive integers / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic with creative definitions by induction
@@ Property / cites work: Arithmetic with creative definitions by induction / rank @@
+Normal rank
@@ Property / cites work @@
+Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q5765816
@@ Property / cites work: Q5765816 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
+Normal rank
@@ Property / cites work @@
+A problem concerning the notion of definability
@@ Property / cites work: A problem concerning the notion of definability / rank @@
+Normal rank
@@ Property / cites work @@
+Certain predicates defined by induction schemata
@@ Property / cites work: Certain predicates defined by induction schemata / rank @@
+Normal rank