Tag

compactness

Every page in the KEVOS library tagged compactness. 2 pages.

Articles 77 Guides 3043 Case Studies 26 Templates & Examples 67

Project Delivery 511 Engineering 2236 Business 281 Case Study 26 Templates & Examples 159

The Boolean Prime Ideal Theorem

The Boolean Prime Ideal Theorem, its equivalent formulations, its strength relative to the axiom of choice, and which results in this collection depend on it.

Engineering Mathematics13 Aug 2026 · 10 min read

Engineering↗

The Compactness Theorem and its Consequences

The compactness theorem, its proof by ultraproducts, the standard consequences including non-standard models, and the systematic list of properties first-order logic cannot expr…

Engineering Mathematics13 Aug 2026 · 10 min read

Other tags in the library.

mathematics 387 abstract algebra 252 Machine Design 184 business 179 project management 158 Computational Number Theory 123 algebra handbook 85 graduate mathematics 85 handbook 79 templates and examples 78 History of Engineering 77 Manufacturing 76 algebra and trigonometry 74 universal algebra 62 algebra 60 project delivery 60 principles of project management 58 advanced algebra 53 Fasteners and Joints 53 Civil Engineering 48 CAD 42 Context and scope 42 Machine Elements 40 Threading and Gaging 37 Mechanical Engineering 35 Power Transmission 34 template 34 Operational Excellence 32 example 31 project leadership 31 project teams 31 strategy 31 Business Expansion 29 Metrology 29 project management research 29 Sales & Marketing 29 personal development 27 behaviour change 26 habits 26 systems 26