MATH
Login Or Sign up

List Question

15
157
Views

$\mathbb{N}\times\{0,1\}$ and $\{0,1\}\times \mathbb{N}$ not isomorphic

Published on
#elementary-set-theory #well-orders
59
Views

Exercise 4 of Chapter 7 in Enderton's Elements of Set Theory

Published on
#elementary-set-theory #well-orders
25
Views

Does this beginningless-past thought experiment result in several possible non-well-ordered sets?

Published on
#infinity #well-orders
147
Views

Countable versus uncountable dense linear orders

Published on
#first-order-logic #order-theory #automorphism-group #well-orders
632
Views

Why can't well ordered sets have infinite decreasing subsequences?

Published on
#discrete-mathematics #computer-science #well-orders
61
Views

Does a total or well ordering has a countable cofinal

Published on
#logic #set-theory #order-theory #axiom-of-choice #well-orders
53
Views

Are there any guessing principles in set theory which guess well-orders of sets?

Published on
#soft-question #set-theory #well-orders
30
Views

A class of linear orderings with a convexity property on ordinals

Published on
#reference-request #order-theory #ordinals #well-orders
77
Views

Does every well-ordered set obeying the non-induction Peano axioms have a well-ordering compatible with the successor operation?

Published on
#order-theory #peano-axioms #well-orders
90
Views

What are the order types of computable pseudo-ordinals with no c.e. descending chains?

Published on
#logic #order-theory #computability #ordinals #well-orders
119
Views

Why is well-ordering needed to define the statement "$\forall i, \, P(i) \implies P(i + 1)$"?

Published on
#discrete-mathematics #elementary-set-theory #logic #induction #well-orders
368
Views

Construction of two uncountable sequences which are "interleaved"

Published on
#sequences-and-series #well-orders
22
Views

Order isomorphism on a subset and a segment

Published on
#elementary-set-theory #well-orders
83
Views

Well-Ordering Principle From Recursion Theorem

Published on
#recursion #constructive-mathematics #well-orders #intuitionistic-logic
47
Views

What is the generalization of well-orders to partial orders?

Published on
#reference-request #definition #well-orders

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.