generic filter
Sign in to savein set theory, given a collection of dense open subsets of a poset, a filter that meets all sets in that collection
Connections
semantic theory of truth
Entity
mathematical logic
Entity
Paul Cohen
Entity
first-order logic
Entity
formal system
Entity
aleph number
Entity
consistency
Entity
Zermelo–Fraenkel set theory
Entity
recursive set
Entity
semantics of logic
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
set theory
Entity
function
Entity
real number
Entity
theory
Entity