Forcing in intuitionistic systems without power-set (Q3726114): 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.2307/2273459
@@ Property / full work available at URL: https://doi.org/10.2307/2273459 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2058730231
@@ Property / OpenAlex ID: W2058730231 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3726114