Q5544276 (Q5544276): Difference between revisions

@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative provability in set theory
@@ Property / cites work: Predicative provability in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595153
@@ Property / cites work: Q5595153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661851
@@ Property / cites work: Q5661851 / rank @@
+Normal rank
@@ Property / cites work @@
+Persistent and invariant formulas relative to theories of higher order
+Normal rank
@@ Property / cites work @@
+Q3843617
@@ Property / cites work: Q3843617 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit definability and infinitary languages
@@ Property / cites work: Implicit definability and infinitary languages / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolation theorem for denumerably long formulas
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3291526
@@ Property / cites work: Q3291526 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory for the Higher Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Q5551146
@@ Property / cites work: Q5551146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536619
@@ Property / cites work: Q5536619 / rank @@
+Normal rank