The following pages link to Signature (logic)
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Laws of Form (links | edit)
- Element (mathematics) (links | edit)
- List of statements independent of ZFC (links | edit)
- Axiom of constructibility (links | edit)
- Boolean function (links | edit)
- Axiom schema (links | edit)
- Setoid (links | edit)
- Hilbert's axioms (links | edit)
- Forgetful functor (links | edit)
- Internal set theory (links | edit)
- Semantics of logic (links | edit)
- Proof-theoretic semantics (links | edit)
- Decidability (logic) (links | edit)
- Atomic sentence (links | edit)
- New Foundations (links | edit)
- Algebra of sets (links | edit)
- Elementary equivalence (links | edit)
- Interior algebra (links | edit)
- Self-verifying theories (links | edit)
- Predicate variable (links | edit)
- Monadic Boolean algebra (links | edit)
- Variety (universal algebra) (links | edit)
- T-schema (links | edit)
- Grothendieck universe (links | edit)
- Non-well-founded set theory (links | edit)
- Categorical theory (links | edit)
- Kripke–Platek set theory (links | edit)
- Computable function (links | edit)
- Independence (mathematical logic) (links | edit)
- Formal proof (links | edit)
- Signature (universal algebra) (redirect page) (links | edit)
- Gluing axiom (links | edit)
- Mostowski collapse lemma (links | edit)
- Elementary class (links | edit)
- Skolem's paradox (links | edit)
- Martin's axiom (links | edit)
- Propositional variable (links | edit)
- Propositional formula (links | edit)
- Free logic (links | edit)
- Prime model (links | edit)
- Fodor's lemma (links | edit)
- Diagonal intersection (links | edit)
- Club filter (links | edit)
- Finite model theory (links | edit)
- Mathematical structure (links | edit)
- Conservative extension (links | edit)
- F-coalgebra (links | edit)
- Ground expression (links | edit)
- Back-and-forth method (links | edit)
- Substructure (mathematics) (links | edit)