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)