The logic of fractional parts of real numbers (Q292505): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 03C10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 03D05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6590126
@@ Property / zbMATH DE Number: 6590126 / 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.1016/j.crma.2016.04.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2411345296
@@ Property / OpenAlex ID: W2411345296 / rank @@
+Normal rank
@@ Property / cites work @@
+Totally ordered commutative semigroups
@@ Property / cites work: Totally ordered commutative semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+First order theory of cyclically ordered groups
@@ Property / cites work: First order theory of cyclically ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for lexicographic products of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+On cyclically ordered groups
@@ Property / cites work: On cyclically ordered groups / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:292505