MATH 4320

Logic and Set Theory

New Mexico State University-Main Campus · UGRD · Fall 2026

1 section

Catalog description

Propositional and first order logic; axioms, proofs, models. Semantic and syntactic consequence. Soundness, completeness, compactness, and Loewenheim –Skolem theorems. The Zermelo-Fraenkel axioms for set theory. Well orderings, ordinals, cardinals, the axiom of choice, and the von Neumann hierarchy.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 12 hours ago

001

Availability not recently verified

Class #new_mexico_main_campus_2-MATH4320Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?