An algebraic treatment of quantifier-free systems of arithmetic (Q1915125): Difference between revisions

@@ Property / author @@
-Franco Montagna
@@ Property / author: Franco Montagna / rank @@
-Normal rank
@@ Property / author @@
+Franco Montagna
@@ Property / author: Franco Montagna / rank @@
+Normal rank
@@ 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.1007/s001530050042
+Normal rank
@@ Property / OpenAlex ID @@
+W2037010013
@@ Property / OpenAlex ID: W2037010013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational compactness in quasi-primal varieties
@@ Property / cites work: Equational compactness in quasi-primal varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf Constructions and Their Elementary Properties
+Normal rank
@@ Property / cites work @@
+Q3487327
@@ Property / cites work: Q3487327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4769085
@@ Property / cites work: Q4769085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Representability of recursively enumerable sets in formal theories
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1915125