Results For Mathematical Logic Experts