Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category (Q1681852): Difference between revisions

A rig is a semiring (existence of additive inverses is not required). The author extends the work of Schanuel, Lawvere, Blass and Gates in Objective Number Theory. The main result is stated in the title.

0 references

zbMATH Keywords

objective number theory

0 references

reviewed by

L.N.Vaserstein and E.R.Wheland

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10485-016-9475-6

0 references

cites work

Introduction to bicategories

0 references

Q4083878

0 references

Seven trees in one

0 references

Q2847337

0 references

Introduction to extensive and distributive categories

0 references

On the predecessor relation in abstract algebras

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Objective number theory and the retract chain condition

0 references

Q4511145

0 references

Theories of analytic monads

0 references

Identifiers

zbMATH Open document ID

1387.18008

0 references

DOI

10.1007/s10485-016-9475-6

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1681852

@@ Property / reviewed by @@
+L.N.Vaserstein and E.R.Wheland
@@ Property / reviewed by: L.N.Vaserstein and E.R.Wheland / 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/s10485-016-9475-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2605057152
@@ Property / OpenAlex ID: W2605057152 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083878
@@ Property / cites work: Q4083878 / rank @@
+Normal rank
@@ Property / cites work @@
+Seven trees in one
@@ Property / cites work: Seven trees in one / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847337
@@ Property / cites work: Q2847337 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+On the predecessor relation in abstract algebras
@@ Property / cites work: On the predecessor relation in abstract algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5580926
@@ Property / cites work: Q5580926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978964
@@ Property / cites work: Q3978964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551182
@@ Property / cites work: Q4551182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3646418
@@ Property / cites work: Q3646418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978988
@@ Property / cites work: Q3978988 / rank @@
+Normal rank
@@ Property / cites work @@
+Objective number theory and the retract chain condition
+Normal rank
@@ Property / cites work @@
+Q4511145
@@ Property / cites work: Q4511145 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of analytic monads
@@ Property / cites work: Theories of analytic monads / rank @@
+Normal rank