Hedman, Shawn
Overview
Works:  4 works in 34 publications in 1 language and 1,619 library holdings 

Genres:  Academic theses 
Roles:  Author 
Classifications:  QA9, 160 
Publication Timeline
.
Most widely held works by
Shawn Hedman
A first course in logic : an introduction to model theory, proof theory, computability, and complexity by
Shawn Hedman(
)
29 editions published between 2004 and 2020 in English and held by 1,580 WorldCat member libraries worldwide
"The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in a clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, firstorder logic, and secondorder logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course."Résumé de l'éditeur
29 editions published between 2004 and 2020 in English and held by 1,580 WorldCat member libraries worldwide
"The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in a clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, firstorder logic, and secondorder logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course."Résumé de l'éditeur
First Course in Logic, A by
Shawn Hedman(
)
2 editions published in 2004 in English and held by 35 WorldCat member libraries worldwide
2 editions published in 2004 in English and held by 35 WorldCat member libraries worldwide
Finitary axiomatizations of categorical theories by
Shawn Hedman(
)
2 editions published in 1999 in English and held by 3 WorldCat member libraries worldwide
We study bounded variable axiomatizations of firstorder theories. We show that a countably categorical theory can be axiomatized using finitely many variables if and only if it can be finitely axiomatized. We prove that any trivial strongly minimal theory T in a finite vocabulary can be axiomatized using finitely many variables and counting quantifiers. We show for such T that "axiomatizable with finitely many variables" (without counting quantifiers) has a characterization which is not syntactic. We show that any locally modular uncountably categorical theory of a pure group can be axiomatized using finitely many variables and counting quantifiers. The notion of "axiomatizable with finitely many variables" is shown to be related to Hrushovski's notion of involved groups
2 editions published in 1999 in English and held by 3 WorldCat member libraries worldwide
We study bounded variable axiomatizations of firstorder theories. We show that a countably categorical theory can be axiomatized using finitely many variables if and only if it can be finitely axiomatized. We prove that any trivial strongly minimal theory T in a finite vocabulary can be axiomatized using finitely many variables and counting quantifiers. We show for such T that "axiomatizable with finitely many variables" (without counting quantifiers) has a characterization which is not syntactic. We show that any locally modular uncountably categorical theory of a pure group can be axiomatized using finitely many variables and counting quantifiers. The notion of "axiomatizable with finitely many variables" is shown to be related to Hrushovski's notion of involved groups
First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford texts in logic
; 1) by
Shawn Hedman(
Book
)
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Associated Subjects