Ordinal analysis Forum

Forum Jar : Ordinal analysis Forum

Welcome to Ordinal analysis Forum

Thank you for using Forum Jar. Due to a growing number of inappropriate messages on our forums, it has gotten to the point where we are unable to moderate our website properly. For that reason, Forum Jar will be closed indefinitely until we find a better way to moderate our forums. If you want to meet new people online, please visit our dating site at 111dating.com.

Other Forums
• Proof theory Forum
• Ordinal number Forum
• Large countable ordinals Forum
• Gerhard Gentzen Forum
• Cut elimination Forum
• Peano arithmetic Forum
• Epsilon zero Forum
• Kleene's O Forum
• Ordinal notation Forum
• Computable function Forum
• Well-order Forum
• Transfinite induction Forum
• Hyperarithmetical theory Forum
• Church-Kleene ordinal Forum
• Equiconsistency Forum
• ELEMENTARY Forum
• Grzegorczyk hierarchy Forum
• Recursive Comprehension Forum
• Weak König's lemma Forum
• Primitive recursive arithmetic Forum
• Gentzen's consistency proof Forum
• Arithmetical comprehension Forum
• Arithmetical Transfinite Recursion Forum
• Martin-Löf type theory Forum
• Inductive definition Forum
• Kripke-Platek set theory Forum
• Axiom of infinity Forum
• Constructive set theory Forum
• Second order arithmetic Forum
• Buchholz's notation Forum
• Large cardinal property Forum
• Digital object identifier Forum
• Mathematical Reviews Forum