Inaccessible set axioms may have little consistency strength (Q1612481): Difference between revisions

@@ Property / author @@
-Laura Crosilla
@@ Property / author: Laura Crosilla / rank @@
-Normal rank
@@ Property / author @@
-Michael Rathjen
@@ Property / author: Michael Rathjen / rank @@
-Normal rank
@@ Property / author @@
+Laura Crosilla
@@ Property / author: Laura Crosilla / rank @@
+Normal rank
@@ Property / author @@
+Michael Rathjen
@@ Property / author: Michael Rathjen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671968
@@ Property / cites work: Q3671968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778746
@@ Property / cites work: Q3778746 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points in Peano arithmetic with ordinals
@@ Property / cites work: Fixed points in Peano arithmetic with ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+A construction of non-well-founded sets within Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Inaccessibility in constructive set theory and type theory
+Normal rank
@@ Property / cites work @@
+The strength of Martin-Löf type theory with a superuniverse. I
+Normal rank
@@ Property / cites work @@
+Kripke-Platek Set Theory and the Anti-Foundation Axiom
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/apal/CrosillaR02
@@ Property / DBLP publication ID: journals/apal/CrosillaR02 / rank @@
+Normal rank