Talk:Robinson's joint consistency theorem

Name
After whom is this named? Julia Robinson? Abraham Robinson? — Preceding unsigned comment added by 131.220.245.185 (talk) 15:09, 2 March 2015 (UTC)
 * Abraham I had supposed, but I will check that. 109.158.6.142 (talk) 11:32, 17 October 2020 (UTC)
 * Yes. Hodges, 'Model Theory', attributes it to him, but it would be nice to have a reference, and I'm now looking for one. 109.158.6.142 (talk) 12:52, 17 October 2020 (UTC)
 * 'A result on consistency and its application to the theory of definition', Proc. Royal Academy of Sciences, Amsterdam, series A, vol 59, pp 47-58. That's from Robinson's 'Intro. to model theory and to the metamathematics of algebra'. 109.158.6.142 (talk) 13:09, 17 October 2020 (UTC)

Typesetting $$\varphi$$
In the sentence


 * If $$T_1$$ and $$T_2$$ are consistent and if there is no formula  $$\varphi$$ in the common language of ...

the formula is typeset as \varphi, not as the greek letter. By contrast, in


 * ... i.e. either $$T \vdash \varphi$$ or  $$T \vdash \neg\varphi$$.

the greek letter appears. This is strange! It there a problem with Mediawiki's math mode? --Tillmo (talk) 22:33, 19 November 2008 (UTC)

seems to work now, see also https://bugzilla.wikimedia.org/show_bug.cgi?id=16438 --Tillmo (talk) 12:09, 5 April 2010 (UTC)