Conservative extension Forum

Forum Jar : Conservative extension Forum

Welcome to Conservative extension 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
• Mathematical logic Forum
• Logical theory Forum
• Proof theory Forum
• Theorem Forum
• Consistent Forum
• Methodology Forum
• Isabelle (theorem prover) Forum
• ACL2 Forum
• Module Forum
• Ontology (computer science) Forum
• Second-order arithmetic Forum
• Peano arithmetic Forum
• Von Neumann–Bernays–Gödel set theory Forum
• Zermelo–Fraenkel set theory Forum
• Internal set theory Forum
• Axiom of choice Forum
• Extension by definitions Forum
• Arithmetical hierarchy Forum
• Primitive recursive arithmetic Forum
• Analytical hierarchy Forum
• Absoluteness (mathematical logic) Forum
• Continuum hypothesis Forum
• Model theory Forum