Search results

• Propositional variable
  ...TD valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 144; 226</TD></TR>
  402 bytes (56 words) - 13:48, 8 April 2023
• Refutable formula
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 194ff</TD></TR></table>
  512 bytes (74 words) - 17:30, 30 April 2014
• Meta-mathematics
  ...lign="top">[a1]</TD> <TD valign="top"> R. Sikorsky, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR></table>
  530 bytes (75 words) - 17:03, 7 February 2011
• Inconsistent class
  ...valign="top">[a2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland &amp; Noordhoff (1950) pp. Chapt. XIV</TD></TR></table>
  767 bytes (125 words) - 15:40, 9 April 2014
• Object language
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  820 bytes (126 words) - 17:13, 7 February 2011
• Derived rule
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  854 bytes (130 words) - 19:13, 17 October 2014
• Formalization method
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  1,005 bytes (148 words) - 16:48, 18 October 2016
• Subformulation property
  ...valign="top">[a3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1950) pp. 450</TD></TR></table>
  1 KB (149 words) - 15:59, 1 May 2014
• Omega-completeness
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  961 bytes (151 words) - 21:23, 11 January 2017
• Propositional function
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 144; 226</TD></TR></table>
  1 KB (154 words) - 17:37, 23 November 2014
• Predicate symbol
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  1 KB (191 words) - 13:16, 14 February 2020
• Omega-consistency
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  1 KB (194 words) - 16:32, 30 December 2018
• Constructive propositional calculus
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign=
  1 KB (205 words) - 13:34, 17 March 2014
• Peirce arrow
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1950) pp. 139</TD></TR></table>
  1 KB (194 words) - 12:27, 12 August 2014
• Absorption laws
  ...]</TD> <TD valign="top"> H. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963) {{ZBL|0122.24311}}</TD></TR>
  1 KB (218 words) - 18:42, 21 September 2017
• Sheffer stroke
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1950) pp. 139</TD></TR>
  2 KB (249 words) - 17:56, 29 November 2014
• Skolem paradox
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  2 KB (258 words) - 14:04, 10 April 2014
• Minor of a graph
  ...TD> <TD valign="top"> H. Friedman, N. Robertson, P.D. Seymour, "The metamathematics of the graph minor theorem" ''Logic and combinatorics'' (ed. S.G. Simpson)
  4 KB (617 words) - 08:00, 6 June 2020
• Meta-theory
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table> ...lign="top">[a1]</TD> <TD valign="top"> R. Sikorsky, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR><TR><TD valign="top">[a2]</TD> <TD va
  4 KB (627 words) - 08:00, 6 June 2020
• Recursions of higher degrees
  ...<TD valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1950) pp. 234 {{MR|1234051}} {{MR|1570642}} {{MR|0051790}
  2 KB (233 words) - 17:26, 14 October 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)