WorldCat Identities

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, first-order logic, and second-order 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

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 first-order 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

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.05 (from 0.04 for First Cour ... to 0.96 for First Cour ...)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity First Course in Logic, A
Covers
First Course in Logic, A
Languages
English (34)