Andrej Bauer

221 reputation

	221 reputation	bio	website	andrej.com	visits	member for	1 year
15 badges		location	Slovenia		seen	May 16 at 7:41

13 Actions

May 15	awarded	Caucus
May 5	awarded	Yearling
Jan 8	awarded	Nice Answer
May 31	comment	How to prove the pullback lemma That is a very good question.
May 30	answered	How to prove the pullback lemma
May 10	comment	Confusion about proof that first order logic without equality is not contradictory The function you propose satisfies both conditions, but to prove that it satisfies condition (2) you need to know that $\mathbb{P}$ is consistent, which is what we are trying to prove in the first place.
May 5	awarded	Supporter
May 5	awarded	Editor
May 5	comment	Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models Oops, I meant cstheory. Fixed.
May 5	revised	Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models edited body
May 5	awarded	Teacher
May 5	comment	Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models The tags should be about programming languages and semantics.
May 5	answered	Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models