The strength of countable saturation (Q2402967): Difference between revisions

@@ Property / arXiv ID @@
+.02534
@@ Property / arXiv ID: 1605.02534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrasheaves and double negation
@@ Property / cites work: Ultrasheaves and double negation / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrapowers as sheaves on a category of ultrafilters
+Normal rank
@@ Property / cites work @@
+THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
+Normal rank
@@ Property / cites work @@
+The syntax of nonstandard analysis
@@ Property / cites work: The syntax of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of nonstandard methods in arithmetic
@@ Property / cites work: The strength of nonstandard methods in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of nonstandard analysis
@@ Property / cites work: On the strength of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Radically Elementary Probability Theory. (AM-117)
@@ Property / cites work: Radically Elementary Probability Theory. (AM-117) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and parameter-free transfer
@@ Property / cites work: Reverse mathematics and parameter-free transfer / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/aml/BergBS17
@@ Property / DBLP publication ID: journals/aml/BergBS17 / rank @@
+Normal rank