Question

Does permitting comprehension for all (and only) contingent formulas result in paradoxes?

score 152 · Answer 1 · 2021-06-02 21:14:27

152

Views

Does permitting comprehension for all (and only) contingent formulas result in paradoxes?

Published on 02 Jun 2021 - 21:14

score 467 · Answer 2 · 2021-06-15 16:44:46

467

Views

finite set is countable (in ETCS)

Published on 15 Jun 2021 - 16:44

score 147 · Answer 3 · 2021-07-15 23:34:04

147

Views

What do you call the generalisation of the direct image?

Published on 15 Jul 2021 - 23:34

score 37 · Answer 4 · 2021-07-21 12:45:28

37

Views

Can there exist a world where every consistent effective FOL theory can be written and satisfied in some part of it?

Published on 21 Jul 2021 - 12:45

score 123 · Answer 5 · 2021-07-22 01:09:11

123

Views

Why doesn't the Kuratowski pair work in $\mathrm{NF3}$?

Published on 22 Jul 2021 - 1:09

score 85 · Answer 6 · 2021-07-30 09:00:53

85

Views

Does the degree of impredicativity always matter in type theory?

Published on 30 Jul 2021 - 9:00

score 158 · Answer 7 · 2021-08-11 00:44:15

158

Views

Is set theory with "homogeneous comprehension" (no set can contain both sets and atoms) consistent?

Published on 11 Aug 2021 - 0:44

score 28 · Answer 8 · 2021-08-18 17:33:41

28

Views

Can we have a downward power stage sequence in stratified Z?

Published on 18 Aug 2021 - 17:33

score 93 · Answer 9 · 2021-09-12 14:42:47

93

Views

Is this fragment of Anti-Cantorian bi-hierarchy theory consistent?

Published on 12 Sep 2021 - 14:42

score 184 · Answer 10 · 2021-09-15 03:28:28

184

Views

How many axioms can you remove from ZF set theory and still have an "interesting" version of mathematics?

Published on 15 Sep 2021 - 3:28

score 300 · Answer 11 · 2021-09-27 00:21:39

300

Views

Can a free complete lattice on three generators exist in $\mathsf{NFU}$?

Published on 27 Sep 2021 - 0:21

score 367 · Answer 12 · 2021-10-18 17:02:04

367

Views

Costs and benefits of using non-well-founded set theories instead of ZFC, or ZFC instead of non-well-founded set theories?

Published on 18 Oct 2021 - 17:02

score 152 · Answer 13 · 2021-10-27 21:51:14

152

Views

Is this Class\set theory equivalent to MK or NBG?

Published on 27 Oct 2021 - 21:51

score 148 · Answer 14 · 2021-11-28 09:18:01

148

Views

Does separation + reflection prove ZF - extensionality - foundation?

Published on 28 Nov 2021 - 9:18

score 78 · Answer 15 · 2022-01-13 03:08:52

78

Views

What set theory do we get if we take the axioms of ZF and add the compactness theorem for propositional logic?

Published on 13 Jan 2022 - 3:08

List Question

Does permitting comprehension for all (and only) contingent formulas result in paradoxes?

finite set is countable (in ETCS)

What do you call the generalisation of the direct image?

Can there exist a world where every consistent effective FOL theory can be written and satisfied in some part of it?

Why doesn't the Kuratowski pair work in $\mathrm{NF3}$?

Does the degree of impredicativity always matter in type theory?

Is set theory with "homogeneous comprehension" (no set can contain both sets and atoms) consistent?

Can we have a downward power stage sequence in stratified Z?

Is this fragment of Anti-Cantorian bi-hierarchy theory consistent?

How many axioms can you remove from ZF set theory and still have an "interesting" version of mathematics?

Can a free complete lattice on three generators exist in $\mathsf{NFU}$?

Costs and benefits of using non-well-founded set theories instead of ZFC, or ZFC instead of non-well-founded set theories?

Is this Class\set theory equivalent to MK or NBG?

Does separation + reflection prove ZF - extensionality - foundation?

What set theory do we get if we take the axioms of ZF and add the compactness theorem for propositional logic?

Trending Questions

Popular # Hahtags

Popular Questions