Talk:Robinson's joint consistency theorem
Appearance
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
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)
- 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)
- 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)
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)
seems to work now, see also https://bugzilla.wikimedia.org/show_bug.cgi?id=16438 --Tillmo (talk) 12:09, 5 April 2010 (UTC)