CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2019.70
@@ Property / DOI: 10.1017/jsl.2019.70 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2977682276
@@ Property / OpenAlex ID: W2977682276 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03851
@@ Property / arXiv ID: 1604.03851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation Reflection Scheme
@@ Property / cites work: The Relation Reflection Scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Q3146268
@@ Property / cites work: Q3146268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+Injectivity, Projectivity, and the Axiom of Choice
+Normal rank
@@ Property / cites work @@
+Dynamical method in algebra: Effective Nullstellensätze
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494237
@@ Property / cites work: Q5494237 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+The axiom of multiple choice and models for constructive set theory
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / Wikidata QID @@
+Q127216568
@@ Property / Wikidata QID: Q127216568 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2019.70
@@ Property / DOI: 10.1017/JSL.2019.70 / rank @@
+Normal rank