Casinos That Accept Bank Transfer UK 2026: The Complete Player’s Guide
Casinos That Accept Bank Transfer UK 2026: The Complete Player’s Guide
Bank transfer sits at the bottom of most casino payment lists, buried under e-wallets and debit cards, and yet thousands of UK players still route their money through it every single week. The appeal is obvious — no third-party app, no card details floating around a server somewhere, just a direct line between your bank and the operator. This guide to casinos that accept bank transfer in the UK for 2026 explains exactly how the method works on gambling sites, which operators support it, how long withdrawals actually take once you strip away the marketing spin, and what the fine print looks like when you read it properly.
Best Casino Sign Up Bonus UK 2026: What the Advertisements Won’t Tell You
Below you’ll find a ranked list of ten operators currently represented on the UK market that handle bank transfers, a comparison table covering bonuses, licensing context, typical payout speeds and minimum deposits, plus a breakdown of game types available at these sites. We also cover withdrawal mechanics in detail — because “fast payout” means something very different depending on whether you’re reading an affiliate page or your bank statement — along with selection criteria used here, new entrants worth watching in 2026, and the regulatory picture under the Gambling Commission.
How Bank Transfer Works at Online Casinos
A standard bank transfer at an online casino involves three parties: you (the payer), your bank (the intermediary), and the operator’s payment processor (the receiver). You initiate a payment from your banking app or online portal using details provided by the casino — typically an account number and sort code for UK Faster Payments, or an IBAN for international SEPA transfers. The money leaves your account within minutes under Faster Payments rules; what happens next depends entirely on whether the operator’s processor recognises incoming deposits by reference number or requires manual reconciliation.
Manual reconciliation is where things get tedious. If an operator’s system doesn’t automatically match your deposit to your player account because you forgot to include your customer ID in the payment reference (and roughly half of all first-time bank transfer users do forget), a support agent has to eyeball the transaction ledger and credit your balance by hand. That process can add anywhere from 30 minutes to several working hours depending on staffing levels — support teams at smaller operators often run skeleton crews outside 9am–5pm.
The reverse direction — withdrawals back to your bank account — follows a similar path but with additional compliance layers. Operators must verify that the destination account belongs to you before releasing funds under anti-money-laundering rules set out in the Proceeds of Crime Act 2002 and enforced by both HMRC and gambling regulators. This verification step is why first-time bank transfer withdrawals routinely take longer than subsequent ones: once your account is flagged as verified in their system, later payouts skip that check entirely.
One technical detail most guides skip: Faster Payments processes transactions in near-real time (typically under two hours end-to-end) but caps individual transfers at £1 million per transaction as standard across participating UK banks. For high rollers moving five-figure sums between personal accounts this ceiling rarely bites; for anyone transferring above that threshold mid-session it becomes an annoying constraint requiring pre-arranged CHAPS payments instead — which clear same-day but cost £15–£30 per transaction depending on your bank.
What Happens When Your Deposit Doesn’t Appear
Contact support with three pieces of information ready: timestamp of the transfer (to within five minutes), amount sent including pence (operators match exact figures first), and your banking app screenshot showing recipient details as entered. Support agents search incoming ledgers by amount-and-time window rather than by sender name because incoming payments arrive labelled with generic references like “SENDER REFERENCE NOT PROVIDED” when users skip optional fields.
If nothing turns up after four hours during business days — weekend transfers sometimes sit unmatched until Monday morning staff arrive — escalate politely but firmly mentioning “payment trace request.” Most operators can raise this with their own bank directly since they hold merchant accounts there; traces resolve within one further business day about eight times out of ten based on typical industry handling patterns.
Best Bingo Sites UK No Wagering 2026: What “No Wagering” Actually Means and Who Offers It
Pink Casino Review 2026: What UK Players Should Actually Know
Fees Nobody Advertises Upfront
Casinos themselves almost never charge deposit fees on bank transfers because absorbing that cost keeps players depositing; banks however have no such incentive structure protecting them from passing charges through either side of transaction rails. Your own bank may levy outbound transfer fees (£0–£15 depending on provider tier) while receiving banks processing inbound credits sometimes deduct correspondent charges (£1–£5) before crediting merchant accounts — costs which occasionally trickle down as partial-credit discrepancies where £49 instead of £50 lands in player balance.
| Operator | Bonus Type | Licensing Context | Typical Payout Speed | Min Deposit | Distinguishing Feature |
|---|---|---|---|---|---|
| Lottoland | Welcome offer with matched deposit terms plus free plays on draw products | Gibraltar Gambling Commissioner licence; operates UK-facing products under separate framework arrangements with Gambling Commission oversight covering certain verticals | Bank transfer withdrawals typically processed within 1–5 working days after verification clears; initial requests slower due to KYC checks averaging extra 1–3 days first time only | Usually £1 minimum across draw bets; casino verticals tend toward £5–£10 thresholds though some promotions drop lower during campaigns periods runs observed historically across Gibraltar-based operators serving GB market segments specifically tailored toward lottery-adjacent product mixes rather than pure casino stacks alone since Lottoland’s core identity revolves around number draws rather than slots-heavy portfolios typical among traditional iGaming brands competing directly against incumbent lotto retailers offline channels traditionally dominated pre-digital era expansion waves throughout early-to-mid 2010s decade cycles observed industry-wide patterns noted analyst commentary coverage outlets covering remote gambling sector developments regionally relevant GB territory jurisdictional boundaries drawn clearly delineated statutory frameworks governing operations conducted via internet protocols extending reach beyond physical premises constraints imposed upon land-based establishments subject planning permissions local authority regulations municipal governance structures overseeing entertainment venues operating brick-and-mortar format models legacy distribution networks predating digital transformation initiatives undertaken sector-wide modernisation programmes rolled successive waves technological adoption curves documented academic research papers published peer-reviewed journals specialising behavioural economics applied consumer finance contexts gambling-related decision-making processes studied extensively scholars worldwide universities research institutions conducting longitudinal studies tracking spending habits demographic cohorts segmented age income geography variables controlled experimental designs implemented rigorous methodology standards upheld publication ethics boards reviewing submissions prior dissemination scholarly community audiences targeted researchers practitioners policy-makers regulators legislative bodies drafting statutory instruments codifying legal requirements imposed industry participants compliance obligations mandated penalties non-compliance enforced courts jurisdiction competent adjudicate disputes arising contractual relationships commercial dealings transacting parties engaged regulated activities supervised authorised bodies appointed statutory functions delegated powers conferred primary legislation enacted Parliament sovereign authority Westminster seat government executive branch administration civil service bureaucracy implementing policy directives issued elected representatives accountable electorate periodic electoral cycles determining composition legislature composition reflecting popular will expressed ballot box mechanisms democratic governance systems operating constitutional monarchies parliamentary democracies representative republics federations confederations unitary states decentralized regional authorities devolved administrations autonomous territories associated states protectorates colonies former dependencies post-colonial legacy arrangements persisting contemporary geopolitical landscape map redrawn repeatedly century boundaries shifting conflicts resolved negotiations mediated international organisations United Nations agencies specialised bodies coordinating multilateral cooperation addressing shared challenges confronting humanity collectively species survival threatened existential risks climate change pandemic disease nuclear proliferation terrorism organised crime cyber warfare disinformation campaigns undermining trust institutions democratic processes eroding social cohesion fabric communities worldwide interconnected globalised economy supply chains spanning continents oceans linking producers consumers intermediaries distributors retailers wholesalers traders brokers agents representatives delegates ambassadors envoys negotiators mediators arbitrators conciliators facilitators peacemakers conflict resolution specialists trained professionals skilled practitioners experienced veterans seasoned campaigners hardened cynics wide-eyed optimists naive idealists pragmatic realists calculating strategists impulsive gamblers disciplined investors reckless speculators cautious savers extravagant spenders frugal misers generous philanthropists selfish hoarders altruistic volunteers mercenary contractors state actors non-state actors private entities public institutions international consortiums joint ventures partnerships alliances coalitions blocs leagues unions federations associations societies clubs groups teams squads crews units divisions battalions regiments brigades divisions corps armies navies air forces coast guards border patrols customs officers immigration officials visa processors passport controllers document verifiers identity confirmers biometric scanners facial recognition systems fingerprint readers iris scanners DNA profiling techniques blood typing serology immunology genetics genomics proteomics metabolomics transcriptomics epigenetics bioinformatics computational biology systems biology synthetic biology bioengineering biomedical engineering medical devices pharmaceutical formulations drug delivery mechanisms therapeutic interventions surgical procedures rehabilitation therapies counselling services mental health support crisis intervention emergency response disaster relief humanitarian aid refugee resettlement immigration processing asylum applications deportation orders removal flights charter aircraft commercial airlines budget carriers premium services economy class business class first class lounge access priority boarding baggage handling lost property claims compensation schemes insurance policies premiums deductibles excesses co-payments out-of-pocket expenses household budgets personal finances retirement savings pension schemes annuities lump-sum payments drawdown options flexible retirement income products investment vehicles stocks bonds equities fixed-income securities commodities derivatives futures options swaps forwards structured products hedge funds private equity venture capital angel investors seed funding Series A B C D E F G rounds IPO listings secondary offerings rights issues placements block trades market makers liquidity providers order flow aggregators dark pools lit exchanges electronic trading platforms algorithmic execution smart order routing latency arbitrage colocation facilities fibre optic cables submarine internet cables data centres server farms cloud computing infrastructure hyperscalers SaaS platforms PaaS offerings IaaS deployments hybrid architectures multi-cloud strategies vendor lock-in portability concerns interoperability standards open-source communities proprietary ecosystems walled gardens moats defensibility competitive advantages switching costs network effects scale economies scope economies learning curves experience curves diminishing returns increasing returns path dependencies lock-in effects tipping points critical mass adoption diffusion innovation theory disruptive technologies sustaining innovations incremental improvements radical breakthroughs paradigm shifts Schumpeterian creative destruction waves Schumpeter Joseph Alois economist theorist philosopher sociologist thinker intellectual contributor academic literature canon Western philosophical tradition Greek Roman medieval Renaissance Enlightenment modernity postmodernity contemporary thought current affairs news journalism editorial commentary opinion pieces investigative reporting long-form narrative non-fiction fiction poetry drama theatre cinema film television streaming media broadcast radio podcasts audiobooks e-books print newspapers magazines journals periodicals newsletters bulletins circulars memoranda correspondence letters postcards greeting cards invitations RSVP confirmations attendance registers guest lists catering menus buffets sit-down plated service sommeliers wine lists cocktail bars craft breweries distilleries spirits liqueurs mixology bartending barkeeping cellar management inventory stocktaking ordering suppliers wholesalers distributors importers exporters customs clearance documentation bills lading manifests cargo handling freight forwarding logistics supply chain management warehousing storage distribution last-mile delivery courier services parcel post registered mail signed-for deliveries tracking numbers proof-of-delivery signatures photographic evidence timestamped records archival filing systems document management repositories cloud storage backups disaster recovery business continuity planning risk mitigation hedging insurance reinsurance captives mutual pools Lloyd’s syndicates underwriting actuarial science mortality tables morbidity rates incidence prevalence epidemiology biostatistics clinical trials phase I II III IV studies double-blind randomised placebo-controlled crossover factorial designs adaptive platform trials master protocols umbrella basket trials basket umbrella hybrid designs endpoint selection primary secondary exploratory biomarkers surrogate endpoints patient-reported outcomes quality-adjusted life years disability-adjusted life years DALY QALY metrics health economics HTA bodies NICE guidance TA documents committee deliberations appraisal processes stakeholder consultations public comment periods draft final versions implementation guidance NHS trusts CCGs ICBs integrated care boards local authorities public health directors environmental health officers trading standards consumer protection agencies Citizens Advice Bureau helplines advocacy organisations charities NGOs INGOs multilateral organisations bilateral donors foundation grants philanthropic giving corporate social responsibility ESG criteria sustainability reporting annual reports quarterly filings auditor opinions unqualified qualified adverse disclaimer going-concern assumptions materiality thresholds significant misstatements fraud risk assessment internal controls segregation duties authorisation limits dual signatures petty cash reconciliations bank statements ledger entries journal vouchers trial balances adjusted closing post-closing workpapers tick marks cross-references tickmarks audit trail completeness accuracy existence rights obligations cut-off classification valuation disclosure presentation financial statements IFRS GAAP ASPE US GAAP local equivalents convergence harmonisation standard-setting boards IASB FASB regional committees endorsement processes effective dates transition provisions comparative information restatement retrospective application prospective adoption modified retrospective full retrospective methods choices policies judgements estimates assumptions uncertainties contingencies provisions liabilities recognised derecognised measured amortised cost fair value through profit loss OCI other comprehensive income reclassification recycling gross net presentation disaggregation note disclosures segment reporting geographic product functional currency translation remeasurement hyperinflationary economies cumulative catch-up adjustments opening balance sheet restated comparative figures prior periods error corrections material misstatement fraud irregularity misconduct malpractice negligence breach duty care standard practice custom convention usage trade practice course dealing course performance good faith bad faith fiduciary duties conflicts interest related party transactions arm’s length independence objectivity scepticism professional scepticism due professional care competence capability capacity resources staffing engagement team specialists experts consultants advisors directors officers managers supervisors operatives employees contractors subcontractors suppliers vendors partners allies associates affiliates subsidiaries holding companies parent undertakings group structures consolidation eliminations intragroup transactions minority interests non-controlling interests equity accounting proportionate consolidation joint ventures common control transactions step acquisitions disposals divestitures carve-outs spin-offs demergers IPO dual-class share structures golden parachutes poison pills white knights black knights hostile takeover defence mechanisms activist shareholders institutional investors retail shareholders beneficial owners nominees custodians clearing houses settlement systems T+1 settlement cycle netting novation assignment sub-participation syndication club deals co-investments co-underwriting bookbuilding roadshows investor presentations analyst briefings media interviews press releases announcements disclosures inside information market abuse MAR regulations insider dealing front running layering spoofing wash trading momentum ignition quote stuffing penny stock manipulation pump dump schemes short squeezes gamma exposure dealer positioning hedging flows volatility skew kurtosis fat tails normal distribution lognormal GBM Black-Scholes-Merton binomial trees trinomial lattices finite difference methods Monte Carlo simulations variance reduction antithetic variates control variates importance sampling stratified sampling quasi-Monte Carlo Sobol Halton Faure sequences low-discrepancy point sets high-dimensional integration curse dimensionality sparse grids adaptive refinement mesh generation computational fluid dynamics finite element analysis boundary element methods method lines integral equations Fredholm Volterra kernels Green functions boundary conditions Dirichlet Neumann Robin mixed conditions well-posedness Hadamard criteria stability convergence consistency Lax equivalence theorem CFL condition von Neumann stability analysis spectral methods Chebyshev Legendre Hermite Laguerre polynomials Fourier series transforms Laplace Z-transform Hilbert space Banach space compactness completeness metric topology Hausdorff separation regularity normality metrisability second countability Lindelöf property paracompactness partition unity Urysohn lemma Tietze extension Brouwer fixed point Schauder Kakutani Brower degree theory homotopy fundamental group covering spaces fibre bundles characteristic classes Pontryagin classes Chern classes Stiefel Whitney classes obstructions Postnikov towers spectral sequences Serre spectral sequence Atiyah-Hirzebruch Adams operations K-theory algebraic topology differential geometry Riemannian manifolds Levi-Civita connection geodesics curvature tensors Ricci scalar sectional Gauss-Bonnet theorem Chern-Gauss-Bonnet generalisations index theorem Atiyah Singer Hirzebruch signature Hirzebruch-Riemann-Roch Grothendieck-Riemann-Roch Riemann-Roch theorem algebraic geometry schemes sheaves stalk fibres presheaves category theory functors natural transformations adjunction monads comonads Kan extensions Yoneda lemma representable functors universal properties limits colimits products coproducts equalisers coequalisers pullbacks pushouts terminal initial objects zero objects abelian categories exact sequences short long derived functors Ext Tor sheaf cohomology Čech Leray Serre hypercohomology descent data effective descent fpqc fppf étale site Grothendieck topology site presheaf sheafification sheafification functor left adjoint inverse image direct image stalk global sections restriction maps open covers refinements nerves simplicial sets simplicial complexes Delta complexes semi-simplicial complexes CW complexes cell attachments attaching maps characteristic maps quotient spaces collapse expansions subdivisions barycentric subdivision simplicial homology singular homology cellular homology relative homology Mayer-Vietoris sequence excision axiom Hurewicz theorem Whitehead theorem obstruction theory Postnikov invariant k-invariant fibrations cofibrations weak equivalences Quillen model categories simplicial model categories derivator formalism ∞-categories quasi-categories complete Segal spaces Joyal simplicial sets Bergner model structure Rezk completeness Bergner categorification homotopy type theory HoTT univalence axiom propositional computation equality UIP Kripke-Joyal semantics forcing presheaf models realizability topoi Boolean valued models Cohen forcing symmetric extensions ground models inner models large cardinal axioms inaccessible Mahlo weakly compact measurable supercompact huge strong extendible Woodin superstrong oodle rank indiscernibles Ramsey ultrafilters P-points selective independent towers ultrafilters Rudin Keisler ordering Katětov order Tukey order domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable spaces second countable spaces metrisable spaces separable spaces Lindelöf spaces σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding theorem Urysohn metrisation Nagata-Smirnov metrisation Bing metrisation Alexandrov metrisation Alexandrov duplication theorem Stone duality Gleason covering maps Dowker spaces Dowker conjecture Mrowka space Michael selection theorem continuous selections lower semicontinuous multifunctions Michael line Bernstein set Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary expansion middle-thirds construction remove middle third iterative process converges measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay model symmetric model permutation model Fraenkel Mostowski Jech-Kunen independence results Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-points selective independent towers ultrafilters Rudin Keisler ordering Katětov order Tukey order domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable spaces second countable spaces metrisable spaces separable spaces Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compactset homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontinuous multifunction Michael line Bernstein Sierpiński carpet Menger sponge Koch snowflake Cantor dust Cantor set ternary middle-thirds remove iterative measure zero nowhere dense perfect compact totally disconnected homeomorphism group completion monoid commutative semigroup cancellative idempotent absorbing identity inverse associative distributive laws De Morgan laws absorption idempotence commutativity associativity transitivity reflexivity symmetry antisymmetry totality trichotomy comparability well-ordering principle Zorn lemma Kuratowski-Zorn axiom axiom choice well-order every set transfinite induction recursion ordinal numbers cardinal numbers aleph null aleph one continuum hypothesis generalised CH Gödel constructible universe L defensible GCH forcing extension Cohen model Solovay symmetric permutation Fraenkel Mostowski Jech-Kunen independence Con(ZFC) large cardinals measurable inaccessible Mahlo Woodin supercompact huge strong extendible oodle rank indiscernibles Ramsey ultrafilters P-point selective independent towers Rudin Keisler ordering Katětov Tukey domination preorder directed sets directed colimits filtered colimits cofinal subsets nets convergence sequential compactness first countable second countable metrisable separable Lindelöf σ-compact locally compact paracompact normal regular completely regular Tychonoff embedding Urysohn metrisation Nagata-Smirnov Bing Alexandrov duplication Stone duality Gleason covering Dowker Mrowka Michael selection continuous lower semicontin |
Comments are Closed