MATH
Login Or Sign up

List Question

15
62
Views

Is "Precise Set Theory" consistent? complete?

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

Is set sized choice over proper classes weaker than global choice?

Published on
#logic #first-order-logic #axiom-of-choice #alternative-set-theories
26
Views

Where's the inconsistency with this Ackermann like system of well foundedness?

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

What's the consistency strength of this extension of ML.

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

Is this theory as strong as ZFC?

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

What are the interesting models of this theory other than those of ZFC + (V=L)?

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

Is this simple one tier membership theory finitely axiomatizable?

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

Is ZFC + classes equi-interpretable with MK?

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

Is this schema of homogeneity equivalent to Reflection?

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

Would mathematics based on lists obviate the need for the axiom of choice?

Published on
#axiom-of-choice #foundations #alternative-set-theories
39
Views

Is bounded finite set theory equivalent to bounded arithmetic?

Published on
#set-theory #arithmetic #first-order-logic #alternative-set-theories
719
Views

Can we go further than (surreal) numbers, games & gaps?

Published on
#set-theory #surreal-numbers #alternative-set-theories
92
Views

If $S=\{x:x\in x\}$, is $S\in S$ knowable? (Naive set theory)

Published on
#paradoxes #provability #alternative-set-theories
55
Views

Can Cantor's theorem survive this kind of parametric type predicative restriction on set formation?

Published on
#first-order-logic #type-theory #alternative-set-theories
105
Views

Math With Base 3 Truth Values

Published on
#real-analysis #analysis #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.