MATH
Login Or Sign up

List Question

15
153
Views

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

Published on
#set-theory #paradoxes #alternative-set-theories
468
Views

finite set is countable (in ETCS)

Published on
#category-theory #solution-verification #alternative-set-theories
148
Views

What do you call the generalisation of the direct image?

Published on
#set-theory #online-resources #alternative-set-theories
38
Views

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

Published on
#logic #first-order-logic #alternative-set-theories
124
Views

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

Published on
#elementary-set-theory #logic #set-theory #alternative-set-theories
86
Views

Does the degree of impredicativity always matter in type theory?

Published on
#first-order-logic #axioms #peano-axioms #type-theory #alternative-set-theories
159
Views

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

Published on
#logic #set-theory #alternative-set-theories
29
Views

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

Published on
#axioms #alternative-set-theories
94
Views

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

Published on
#axioms #alternative-set-theories
185
Views

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

Published on
#alternative-set-theories
301
Views

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

Published on
#logic #set-theory #lattice-orders #universal-algebra #alternative-set-theories
368
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
#set-theory #foundations #alternative-set-theories
153
Views

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

Published on
#set-theory #first-order-logic #axioms #alternative-set-theories
149
Views

Does separation + reflection prove ZF - extensionality - foundation?

Published on
#logic #set-theory #axioms #foundations #alternative-set-theories
79
Views

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

Published on
#logic #propositional-calculus #alternative-set-theories

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.