|
VIDEO LIBRARY |
International workshop "Syntax and semantics of logical systems"
|
|||
|
On the Completeness of Second-Order Theories with Infinity Axioms D. Smelianskiy Moscow Center for Continuous Mathematical Education |
|||
Abstract: The talk is devoted to defining of the notion of infinity axioms for the formal logic systems and go statement of the question: are there any second order theories that are complete? In addition it is shown that the main examples of first order ones become not such by their extension having applied the second order logic. |