An intensional fixed point theory over first order arithmetic (Q1877095): 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.1016/j.apal.2003.11.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2027106493
@@ Property / OpenAlex ID: W2027106493 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between <i>ATR</i><sub>0</sub> and
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Logical frameworks for truth and abstraction. An axiomatic study
+Normal rank
@@ Property / cites work @@
+Q3671968
@@ Property / cites work: Q3671968 / rank @@
+Normal rank
@@ Property / cites work @@
+The proof-theoretic analysis of transfinitely iterated fixed point theories
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-definable sets of integers
@@ Property / cites work: <i>μ</i>-definable sets of integers / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1877095