http://caligraph.org/ontology/First-order_theory

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	First-order theory
rdfs:subClassOf	owl:Thing
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_first-order_theories
is rdf:type of	In set Morse–Kelley set theory Martin's axiom Reflexive relation Mac Lane set theory Abelian group Associative property Proper forcing axiom Satisfiability Decidability (logic) Algebra Consistency Antisymmetric relation Transitive relation Signature (logic) Pocket set theory Large cardinal Zermelo–Fraenkel set theory Axiom of choice Recursive definition The Arithmetical Transfinite Recursion \Pi^1_1 comprehension be ω- Von Neumann–Bernays–Gödel set theory Ackermann set theory Unary function atomic Distributive lattice Constructive set theory Positive set theory Quantifier elimination New Foundations have a prime κ-categorical General set theory Scott–Potter set theory Invariant (physics) Symmetric relation Model theory Recursion Divisible group Zermelo set theory Torsion subgroup generalized continuum hypothesis analytic determinacy Kripke–Platek set theory First-order logic Binary operation Axiom of constructibility Inverse trivial algebra invariant m(B Borʹba Veblen's axiom Weak Kőnig's theory with m Arithmetical comprehension ideal I(B) constant 0 the extra

About: clgo:First-order_theory