MATH
Login Or Sign up

List Question

15
103
Views

In Bernays or von Neumann set theory axioms, what allows taking intersection of sets?

Published on
#logic #set-theory #foundations
88
Views

Can withdrawal of the Power set axiom enable absoluteness for set size statements?

Published on
#set-theory #first-order-logic
511
Views

What is the dependency hierarchy in foundational mathematics?

Published on
#logic #soft-question #set-theory #definition #foundations
183
Views

Do inaccessible-sized sets have any properties that smaller sets don't?

Published on
#set-theory #large-cardinals
892
Views

Trying to understand the difference between metatheory and theory and circularity

Published on
#logic #soft-question #set-theory #formal-proofs
950
Views

Can you write a Turing machine in set theory?

Published on
#set-theory #turing-machines
211
Views

Requirements for claiming Con(PA) is true

Published on
#logic #set-theory #model-theory #peano-axioms
206
Views

Elementary example of Baire spaces whose product is not Baire

Published on
#general-topology #set-theory #forcing #baire-category
99
Views

Axiom Schema of Specification

Published on
#set-theory
208
Views

Is NBG with a global selector a conservative extension of NBG with the axiom of global choice?

Published on
#logic #set-theory #axiom-of-choice
248
Views

Proving an equivalence to the Axiom of Choice

Published on
#set-theory #axiom-of-choice
783
Views

Peano's successor function

Published on
#set-theory #natural-numbers #peano-axioms
508
Views

Given a cardinal $\kappa$, what is the smallest cardinal $\lambda$ for which $2^{\lambda}\geq\kappa$?

Published on
#set-theory #cardinals
52
Views

Why is Axiom of Powers needed?

Published on
#set-theory
73
Views

Can we create all subsets of all sets?

Published on
#set-theory #axioms

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.