
On the regular extension axiom and its variants
... The first interesting consequence of wREA is that the class of hereditarily countable sets, HC = H(ω ∪ {ω}), constitutes a set. In the Leeds-Manchester Proof Theory Seminar, Peter Aczel asked whether CZF is at least strong enough to show that HC is a set. This section is devoted to showing that this ...
... The first interesting consequence of wREA is that the class of hereditarily countable sets, HC = H(ω ∪ {ω}), constitutes a set. In the Leeds-Manchester Proof Theory Seminar, Peter Aczel asked whether CZF is at least strong enough to show that HC is a set. This section is devoted to showing that this ...
2.1 - Introduction to Limits - FILLED IN.notebook
... The concept of limit of function f is one of the fundamental ideas that distinguishes calculus from algebra and trigonometry. In the development of calculus in the 18th century, the limit concept was treated intuitively as is done in Section 2.1, where we regard the function value f(x) as getti ...
... The concept of limit of function f is one of the fundamental ideas that distinguishes calculus from algebra and trigonometry. In the development of calculus in the 18th century, the limit concept was treated intuitively as is done in Section 2.1, where we regard the function value f(x) as getti ...