VDict - Definition of Zermelo Frankel set theory

search result for Zermelo Frankel set theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

Zermelo Frankel set theory Zermelo set theory ZFC set theory ZF expression Z von Neumann ordinal Russell's Paradox axiomatic set theory Isabelle Axiom of Comprehension Axiom of Choice theory belief revision complete theory Array Theory lattice domain theory denotational semantics Xy-pic CAYLEY recursion theory pre-order decision theory embedding theory change bounded algebraic inclusive ideal pointed domain projection equational logic bondage-and-discipline language Unix conspiracy satisfiability problem sum coalesced sum UBASIC Carl Friedrich Gauss domain lifted domain Finite State Machine cellular automaton closure fuzzy logic ontology \perp axiom cybernetics monadic computable automata theory CTC predomain autoprojector canonicity CA FSM computron sticky analysis consistently complete block transfer computations GRG directed set minimal automaton Universal algebra type assignment closed term \sqsubseteq LAMBDA beta conversion pi-calculus Abstract Machine Notation monotonic CUCH boundedly complete COLD-K bottom F+L

First < Previous 1 2 3 Next > Last