Skip to main content
Mathematics
Kripke Platek's user avatar
Kripke Platek's user avatar
Kripke Platek's user avatar
Kripke Platek
  • Member for 3 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
861
reputation
17k
reached
0
answers
91
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
21
bronze badges
Top tags
View all tags
0
Score
63
Posts
69
Posts %
0
Score
32
Posts
35
Posts %
0
Score
29
Posts
32
Posts %
0
Score
8
Posts
9
Posts %
0
Score
8
Posts
9
Posts %
0
Score
7
Posts
8
Posts %
Top posts
View all questions and answers
20
Theorem about multiplicity set of continuous functions.
May 24, 2022
10
false proof of $\root \of 4$ is irrational.
May 16, 2021
7
Motivation behind Generic filters in forcing.
Jan 29
6
Condition for inverse function.
Jun 4, 2021
5
Proving that L1 and L2 have the same theorems.
Feb 7, 2021
4
Proving a Replacement Theorem in Proposition Logic formulas.
Oct 21, 2020
4
Prove that a wff built up only with $\lnot$ and $\leftrightarrow$ is a tautology iff $\lnot$ and each statement letter occur an even number of times.
Jan 2, 2021
4
Confusion about a step of a proof of countability of algebraic numbers.
Jun 8, 2021
3
Intuition for working with p-names.
Jul 1
3
Is logic circular at the basic level?
Oct 18, 2020
Top network posts
View all network posts
5
Infinite multiplicity set of continuous functions