yoyostein

236 reputation

414

bio	website
	location
	age
visits	member for	1 year, 1 month
	seen	May 2 at 13:50
stats	profile views	228

	236 reputation	bio	website		visits	member for	1 year, 1 month
414 badges		location			seen	May 2 at 13:50

summary answers questions tags badges favorites bounties reputation activity

218 Actions

suggestions reviews revisions comments badges posts accepts all

May 8	awarded	Notable Question
May 2	comment	(Logic) Formally writing a rational number in logic thanks, I think the key idea "multiplying by a suitable integer, a common denominator of the coefficients of P ." is really useful. This way one can avoid rationals altogether.
May 2	comment	Definable with parameters (Example) Sorry for the confusion! What I meant is that is there any set that is definable with parameters but not definable without parameters?
May 1	asked	Definable with parameters (Example)
May 1	accepted	How to show that a theory T union a sentence $\varphi$ is consistent.
Apr 28	comment	(Logic) Formally writing a rational number in logic Thanks, this is an awesomely clear answer.
Apr 28	accepted	(Logic) Formally writing a rational number in logic
Apr 27	revised	(Logic) Formally writing a rational number in logic added 44 characters in body
Apr 27	asked	(Logic) Formally writing a rational number in logic
Apr 26	awarded	Yearling
Apr 26	accepted	Gödel's Paradox — Every set of formulas is consistent
Apr 26	asked	Gödel's Paradox — Every set of formulas is consistent
Apr 25	comment	How to show that the property of being algebraically closed is reflected by elementary extensions? Thanks! I wonder if is it true that any elementary extention of a non-algebraically closed field is also not algebraically closed?
Apr 25	comment	How to show that the property of being algebraically closed is reflected by elementary extensions? Thanks! Assume that the structure $(F,0,1,+,\cdot)$ is a countable elementary submodel of the complex field $(\mathbb{C},0,1,+,\cdot)$.
Apr 25	revised	How to show that the property of being algebraically closed is reflected by elementary extensions? added 167 characters in body
Apr 25	asked	How to show that the property of being algebraically closed is reflected by elementary extensions?
Apr 25	comment	Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$. Is the harder question related to proving Aut($\mathbb{R}/\mathbb{Q}$)=1?
Apr 25	accepted	Logic automorphism question about $(\mathbb{R},0,1,+,\cdot,<)$.
Apr 24	revised	Logic question linking $\omega$-categoricalness to completeness added 88 characters in body
Apr 24	revised	How to show that a theory T union a sentence $\varphi$ is consistent. added 174 characters in body