Reputation
11,840
Next privilege 15,000 Rep.
Protect questions
Badges
1 27 48
Impact
~174k people reached

2d
answered Inconsistent theory with long contradiction
Feb
1
comment Is there a transcendental definable function between algebras of elementary embeddings?
I have clarified what structure $T$ is definable in.
Feb
1
revised Is there a transcendental definable function between algebras of elementary embeddings?
Clarified the text.
Feb
1
revised Is there a transcendental definable function between algebras of elementary embeddings?
added 65 characters in body
Feb
1
asked Is there a transcendental definable function between algebras of elementary embeddings?
Jan
31
comment Is scaling mapping uniformly continuous for any metric in $R$?
user758236. Are you looking for a metric that induces the euclidean topology on $\mathbb{R}$?
Jan
31
answered What is the formal name of this set-related concept?
Jan
29
answered Characterization of Tychonoff spaces in terms of open sets
Jan
29
comment Partial Orders realized by Prime Ideals on commutative rings
The closed ordered subspaces of $\{0,1\}^{V}$ are precisely the Priestley spaces. Priestley duality states that the Priestley spaces are precisely the spaces of prime ideals on bounded distributive lattices. Furthermore, De Groot duality gives a Stone-type duality between the category of all Priestley spaces and the category of all Zariski topologies on commutative rings.
Jan
29
answered Is there any workable internal characterization of zero-sets?
Jan
28
comment Extremally disconnected spaces and a measure theoretic property
@Jochen Wengenroth. Yes. $U\setminus C$ is only open. Thanks for pointing that out.
Jan
28
revised Extremally disconnected spaces and a measure theoretic property
deleted 2 characters in body
Jan
28
answered Extremally disconnected spaces and a measure theoretic property
Jan
19
revised Regular open Boolean algebras and homomorphism which does not preserve nearness of sets
added 204 characters in body
Jan
19
answered Regular open Boolean algebras and homomorphism which does not preserve nearness of sets
Jan
15
comment Are there always large discrete families of normal measures?
The Stone space topology on $m(\kappa)$ is generated by a complete uniformity, namely the uniformity generated by the equivalence relation entourages $E_{f}$ where $(M,N)\in E_{f}$ iff $[f]_{N}=[f]_{M}.$ I do not know how this uniformity helps though.
Jan
13
comment Is there a locally compact, $\omega_1$-compact, not $\sigma$-countably compact space of size $\aleph_1$?
Peter Nyikos. Welcome to mathoverflow.
Jan
11
asked Are there first order theories of interest to an algebraist or at least a model theorist of large cardinal consistency strength?
Dec
29
answered Unconventional types of induction
Dec
29
answered What are some important but still unsolved problems in mathematical logic?