>>1
There isn't one that is the exact equivalent (as others have already pointed out) - but you could write an equivalent method by comparing strings character by character.
/prog/ will be spammed continuously until further notice. we apologize for any inconvenience this may cause.
Name:
Anonymous2013-09-01 13:56
If the axiom of choice holds, every cardinal κ has a successor κ+ > κ, and there are no cardinals between κ and its successor. For finite cardinals, the successor is simply κ + 1. For infinite cardinals, the successor cardinal differs from the successor ordinal.
Name:
Anonymous2013-09-01 16:14
The field of effective descriptive set theory is between set theory and recursion theory. It includes the study of lightface pointclasses, and is closely related to hyperarithmetical theory. In many cases, results of classical descriptive set theory have effective versions; in some cases, new results are obtained by proving the effective version first and then extending ("relativizing") it to make it more broadly applicable.