The transfinite-induction tag has no wiki summary.

**-1**

votes

**0**answers

34 views

### How to show Well Founded Induction false? [closed]

The abstract reduction system ({a,b,c,d},→) where the → is defined as:
http://i.stack.imgur.com/TS0Ud.png
Let Q be a monadic predicate on {a,b,c,d} such that Q(a) = Q(b) = false and Q(c) = Q(d) = ...

**2**

votes

**1**answer

122 views

### Adding consistency statements to Peano arithmetic allows more instances of transfinite induction?

Consider the hierarchy given by $\cal S_0 =$ first-order Peano arithmetic, $\cal S_{\alpha+1}=\cal S_{\alpha} + Con(S_\alpha)$ (a consistency statement for $\cal S_\alpha$), and if $\alpha$ is a limit ...

**3**

votes

**1**answer

81 views

### Transfinite sequence of contiguous simplicial maps

Recall that two simplicial maps of (abstract) simplicial complexes $f,g\colon K\to L$ are contiguous if $f(\sigma)\cup g(\sigma)$ is a simplex of $L$ for every simplex $\sigma\in K$. Contiguous ...

**1**

vote

**1**answer

88 views

### Generalized connected components decomposition for Priestley spaces

Preliminaries A partially ordered space is both a poset and a topological space. It has connected components both as a topological space, and connected components as a poset, i.e. the maximal ...

**3**

votes

**1**answer

350 views

### How much of ZFC do I need to construct this cofinal, order-preserving class function?

EDIT: I'm bumping this, because while Joel ruled out some naive options, my question in bold below is not yet answered.
Suppose I have a directed partially ordered set $(\Gamma,\leq)$ with a bottom ...