Functional Completeness
35115
Questions on how to prove that a set of connectives is NOT functionally complete
100362
Codomain of function complete implies function space complete
34836
Composition of Absolutely Continuous Functions
154796
Completeness of sequence of reals with finitely many nonzero terms
53056
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
47838
Lemma 3.3-7 and Theorem 3.6-2 in Kreyszig's "Introductory Functional Analysis With Applications": What if completeness is lost?
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
132837
Show that any monotone boolean function can be realize by the following connectives.
36989
Determining functions from specifications...
110142
1-1 Function Composition
67541
When does "X is NP-complete" imply "#X is #P-complete"?
88603
verify equicontinuous functions
137907
Composing functors with natural transformations
64041
Difference between functional and function.
107772
Separability of functions with compact support
158081
Is the IVT equivalent to completeness?
24924
Computing an infinite product