The forcing companions of number theories (Q1215625): Difference between revisions

@@ Property / author @@
-Harold Simmons
@@ Property / author: Harold Simmons / rank @@
-Normal rank
@@ Property / author @@
+Harold Simmons
@@ Property / author: Harold Simmons / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Completing theories by forcing
@@ Property / cites work: Completing theories by forcing / rank @@
+Normal rank
@@ Property / cites work @@
+An unfinitizability proof by means of restricted reduced power
+Normal rank
@@ Property / cites work @@
+ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I
+Normal rank
@@ Property / cites work @@
+On algebraically closed groups
@@ Property / cites work: On algebraically closed groups / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's diagonalization technique and related properties of theories
+Normal rank
@@ Property / cites work @@
+Q5518351
@@ Property / cites work: Q5518351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613180
@@ Property / cites work: Q5613180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626647
@@ Property / cites work: Q5626647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633987
@@ Property / cites work: Q5633987 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard arithmetic
@@ Property / cites work: Nonstandard arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Existentially closed structures
@@ Property / cites work: Existentially closed structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Possible Characterization of Generic Structures.
+Normal rank
@@ Property / cites work @@
+Q4041568
@@ Property / cites work: Q4041568 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1215625