Search results

• Church thesis
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  3 KB (422 words) - 18:10, 12 December 2014
• Boolean-valued model
  ...]</TD> <TD valign="top"> E. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR>
  6 KB (940 words) - 13:30, 17 March 2023
• Universal function
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  3 KB (435 words) - 13:01, 19 December 2020
• Prenex formula
  ...<TD valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1950) pp. Chapt. VII, §35 {{MR|1234051}} {{MR|1570642}}
  3 KB (441 words) - 08:07, 6 June 2020
• Arithmetization
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  3 KB (481 words) - 12:48, 14 February 2020
• Truth value
  ...ef|RaSi}}||valign="top"| E. Rasiowa, R. Sikorski, "The mathematics of metamathematics", Polska Akad. Nauk (1963) {{MR|0163850}} {{ZBL|0122.24311}}
  3 KB (439 words) - 22:34, 16 June 2014
• Mal'tsev local theorems
  ...gn="top">[a1]</TD> <TD valign="top"> A.I. [A.I. Mal'tsev] Mal'cev, "The metamathematics of algebraic systems, Collected papers 1936–1967" , North-Holland (1971)
  3 KB (490 words) - 22:23, 26 October 2014
• Intuitionistic logic
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  4 KB (519 words) - 22:13, 5 June 2020
• Identical truth
  ...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=
  4 KB (529 words) - 22:11, 5 June 2020
• Peano axioms
  * S.C. Kleene, ''Introduction to Metamathematics'', North-Holland (1951).
  3 KB (537 words) - 00:01, 1 December 2018
• Algorithm, representation of an
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland &amp; Noordhoff (1951)</TD></TR></table>
  4 KB (623 words) - 16:10, 1 April 2020
• Intermediate logic
  ...]</TD> <TD valign="top"> E. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR></table>
  11 KB (1,466 words) - 22:13, 5 June 2020
• Gödel completeness theorem
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  4 KB (578 words) - 14:27, 19 March 2023
• Derivation, logical
  ...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=
  4 KB (684 words) - 10:29, 11 October 2014
• Deduction theorem
  ...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=
  5 KB (752 words) - 17:32, 5 June 2020
• Algorithms, equivalence of
  ...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=
  4 KB (663 words) - 12:42, 19 August 2014
• Realizability
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  5 KB (675 words) - 08:10, 6 June 2020
• Recursive realizability
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  5 KB (703 words) - 08:10, 6 June 2020
• Propositional calculus(2)
  ...valign="top">[a4]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. Chapts. IX; XI, §54</TD></TR><TR><TD valign=
  6 KB (766 words) - 08:08, 6 June 2020
• Gödel incompleteness theorem
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  5 KB (732 words) - 18:30, 18 November 2018

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