Mathematics
Jozef Mikušinec's user avatar
Jozef Mikušinec's user avatar
Jozef Mikušinec's user avatar
Jozef Mikušinec
  • Member for 6 years, 11 months
  • Last seen this week
Profile Activity
Stats
209
reputation
374
reached
0
answers
3
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
6
Rationalizing denominator containing a root of a polynomial - why is this possible / why does it work? [duplicate]
Dec 27, 2019
question
2
How many monotonic functions on sets of naturals are there?
Mar 25, 2022
question
1
Cardinality of chains of functions with countable domain, binary codomain, with the pointwise order
Oct 22, 2021
Top network posts
View all network posts
16
If A and B are correlated and A and C are correlated. Why is it possible for B and C to be uncorrelated?
11
Given `A = B`, how to prove `a: A` also has type B in Lean 4
10
What are the issues with a set-like interpretation of quantifiers in type theory?
6
An analogue of Scott continuity for infinite-time-Turing-computable functions

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.