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

@@ label / en / label / en @@
+Arithmetical Predicates and Function Quantifiers
@@ 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/1993033
@@ Property / full work available at URL: https://doi.org/10.2307/1993033 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4254213451
@@ Property / OpenAlex ID: W4254213451 / rank @@
+Normal rank
@@ Property / title @@
+Arithmetical Predicates and Function Quantifiers (English)
+Normal rank
@@ 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