The following pages link to George E. Weaver (Q1327487):
Displayed 41 items.
- (Q599809) (redirect page) (← links)
- Compactness theorems for finitely-many-valued sentential logics (Q599810) (← links)
- Classifying \(\aleph_ 0\)-categorical theories (Q752693) (← links)
- Henkin's completeness proof: Forty years later (Q1183715) (← links)
- Unifying some modifications of the Henkin construction (Q1203774) (← links)
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems (Q1327488) (← links)
- Classifying \(\aleph_0\)-categorical theories. II: The existence of finitely axiomatizable proper class II theories (Q1577349) (← links)
- The first-order theories of Dedekind algebras (Q1810813) (← links)
- Logical consequence in modal logic. II: Some semantic systems for S4 (Q1843558) (← links)
- Homogeneous and universal Dedekind algebras (Q1975161) (← links)
- Logical consequence in modal logic: Natural deduction in S5 (Q2536519) (← links)
- Logical consequence in modal logic. II: Some semantic systems for \(S4\) (Q2545157) (← links)
- (Q2785552) (← links)
- König's Infinity Lemma and Beth's Tree Theorem (Q2963978) (← links)
- Extending ω-consistent sets to maximally consistent, ω-complete sets (Q3033747) (← links)
- A Note on the Interpolation Theorem in First Order Logic (Q3041155) (← links)
- (Q3466609) (← links)
- Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics (Q3768872) (← links)
- Reading proofs with understanding (Q3803082) (← links)
- A Note on the Compactness Theorem in First Order Logic (Q3882442) (← links)
- First Order Properties of Relations with the Monotonic Closure Property (Q3950542) (← links)
- (Q3987714) (← links)
- (Q4014784) (← links)
- (Q4063435) (← links)
- Finite Partitions and Their Generators (Q4067094) (← links)
- (Q4091919) (← links)
- (Q4121875) (← links)
- (Q4156409) (← links)
- Structuralism and Representation Theorems† (Q4224759) (← links)
- A note on definability in equational logic (Q4312342) (← links)
- (Q4438234) (← links)
- Fraenkel-Carnap properties (Q4680376) (← links)
- Two Definability Results in the Equational Context (Q4733856) (← links)
- The Fraenkel‐Carnap question for Dedekind algebras (Q4798208) (← links)
- A General Setting for Dedekind's Axiomatization of the Positive Integers (Q4914193) (← links)
- (Q5181660) (← links)
- (Q5181666) (← links)
- (Q5411463) (← links)
- (Q5411479) (← links)
- (Q5488258) (← links)
- From finitary to infinitary second‐order logic (Q5693599) (← links)