7

Questions
votes newest views recent
3
6
votes
7
answers
1k
views

The isomorphism inference rule

jul 5 10 at 20:00 Matthew Wampler-Doty 232●1●7

1
5
votes
1
answer
397
views

Some questions about Ackermann set theory

apr 18 12 at 18:49 wmitt 51●3

3
4
votes
1
answer
716
views

Bourbaki theory of isomorphism, examples of untransportable formulas

jun 22 10 at 14:00 Victor Makarov 271●1●9

2
3
votes
2
answers
1k
views

Axiomatic definition of integers

may 2 10 at 2:19 Andrew L 17●1●12●31

 
2
votes
0
answers
75
views

Is there a proper class $X$ in Ackermann set theory, for which $P(X)$ does not exist in Ackermann set theory? ($P(X)$ is the collection of all subclasses of $X$)

mar 30 12 at 4:26 Victor Makarov 271●1●9

 
1
vote
1
answer
272
views

Notation arb(x)

jan 23 at 12:05 Victor Makarov 271●1●9

 
0
votes
0
answers
301
views

Can an extension of Ackermann set theory be used as a foundation for Category Theory? [closed]

apr 2 12 at 19:24 Victor Makarov 271●1●9