Jump to content

Talk:Robinson's joint consistency theorem

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Name

[edit]

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)[reply]

Abraham I had supposed, but I will check that. 109.158.6.142 (talk) 11:32, 17 October 2020 (UTC)[reply]
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)[reply]
'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)[reply]

Typesetting

[edit]

In the sentence

If and are consistent and if there is no formula in the common language of ...

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

... i.e. either or .

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

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