Results 1 - 2 of 2

An ACL2 Tutorial

by Matt Kaufmann, J Strother Moore
"... Abstract. We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to provide ideas for other interactive theorem prover projects; and to elicit feedback on how we might incorporat ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Abstract. We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to provide ideas for other interactive theorem prover projects; and to elicit feedback on how we might

An exposition of Hrushovski’s New Strongly Minimal Set ∗

by Martin Ziegler , 2013
"... In [5] E. Hrushovski proved the following theorem: Theorem 0.1 (Hrushovski’s New Strongly Minimal Set). There is a strongly minimal theory which is not locally modular but does not interpret an infinite group. This refuted a conjecture of B. Zilber that a strongly minimal theory must either be local ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
constructions. For the fusion this was the content of [2]. I tried to give a short account of the New Strongly Minimal Set in a tutorial at the Barcelona Logic Colloquium 2011. The present article is a slightly expanded version of that talk. 1 Strongly minimal theories An infinite L-structure M is minimal
Results 1 - 2 of 2