Skip to main content
MathOverflow
Incnis Mrsi's user avatar
Incnis Mrsi's user avatar
Incnis Mrsi's user avatar
Incnis Mrsi
  • Member for 10 years, 4 months
  • Last seen more than a month ago
Profile Activity

145 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
comment
A proof of $\dim(R[T])=\dim(R)+1$ without prime ideals?
Anything wrong with the fact that all polynomials over the trivial ring are 0? IMHO 1 ≠ 0 must be required explicitly.
revised
What is the proper name for "compact closed" multiplicative intuitionistic linear logic?
(intuitionism), (monoidal-categories), bugs in MathJax code
revised
Models of intuitionistic linear logic that reflect the resource interpretation
(intuitionism), (linear-logic)
revised
Intuitionistic logic as quantization of classical logic?
do not deem [tag:ct.category-theory] very relevant; minor fixes
suggested
Approve
Intuitionistic logic as quantization of classical logic?
suggested
Approve
What is the proper name for "compact closed" multiplicative intuitionistic linear logic?
revised
A question on intuitionistic propositional logic
(intuitionism), spelling, grammar etc.
suggested
Approve
Models of intuitionistic linear logic that reflect the resource interpretation
suggested
Approve
A question on intuitionistic propositional logic
revised
Is there a probability theory developed in intuitionistic logic?
(intuitionism), normalization of typography, fix a malapropism “normed”
revised
intuitionistic interpretation of classical logic
(intuitionism), normalization of typography
suggested
Approve
Is there a probability theory developed in intuitionistic logic?
suggested
Approve
intuitionistic interpretation of classical logic
revised
Multiplication of Cauchy and Dedekind real numbers
(intuitionism), typesetting and grammar
suggested
Approve
Multiplication of Cauchy and Dedekind real numbers
revised
square-free wiki excerpt
added 182 characters in body
wiki
created square-free excerpt
suggested
Approve
square-free tag wiki excerpt
revised
Geometry of the space of circles in the Euclidean plane
less ambiguous, grammar
revised
Geometry of the space of circles in the Euclidean plane
+
1
…
4
5
6 7 8