Non-elementary speed-ups in logic calculi (Q3545216): Difference between revisions

@@ 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.1002/malq.200710067
+Normal rank
@@ Property / OpenAlex ID @@
+W2166153399
@@ Property / OpenAlex ID: W2166153399 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating definitions and Skolem functions in first-order logic
+Normal rank
@@ Property / cites work @@
+Q3947660
@@ Property / cites work: Q3947660 / rank @@
+Normal rank
@@ Property / cites work @@
+About the proof-theoretic ordinals of weak fixed point theories
+Normal rank
@@ Property / cites work @@
+The predicate calculus with \(\varepsilon\)-symbol
+Normal rank
@@ Property / cites work @@
+Q3257113
@@ Property / cites work: Q3257113 / rank @@
+Normal rank
@@ Property / cites work @@
+The epsilon calculus and Herbrand complexity
@@ Property / cites work: The epsilon calculus and Herbrand complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Object logic and morphism logic
@@ Property / cites work: Object logic and morphism logic / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination Theorems of Uniqueness Conditions
@@ Property / cites work: Elimination Theorems of Uniqueness Conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318751
@@ Property / cites work: Q3318751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866101
@@ Property / cites work: Q3866101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank