MATH
Login Or Sign up

List Question

15
599
Views

Logical consequence vs. "proof" in a model

Published on
#logic #model-theory #foundations
225
Views

Is there a non-measure-theoretic foundation of probability?

Published on
#probability-theory #measure-theory #foundations
91
Views

Is the axiom of regularity/foundation equivalent to $\forall x:x\notin x$?

Published on
#elementary-set-theory #set-theory #axioms #foundations
318
Views

Can metalogic and model theory be formalized?

Published on
#logic #model-theory #foundations #meta-math #metalogic
791
Views

Mathematical logic book that uses a proof assistant?

Published on
#logic #reference-request #foundations #computer-assisted-proofs
205
Views

How does $\exists !x:P(x)$ allow the definition of a new constant in formal logic?

Published on
#logic #first-order-logic #foundations #formal-proofs
108
Views

How to model structures over a proper class?

Published on
#logic #set-theory #first-order-logic #model-theory #foundations
401
Views

Possible interpretation of real numbers as functions?

Published on
#set-theory #definition #real-numbers #foundations #philosophy
206
Views

Simplest set of axioms and inference rules for first-order logic?

Published on
#first-order-logic #axioms #foundations #formal-proofs #formal-systems
115
Views

is there a book (or a book's series) where all of mathematics (or the great part) has been developed from ZFC or any other set theory?

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

Can we add two if statements side by side?

Published on
#inequality #logic #foundations
529
Views

What is more fundamental, Logic or set theory?

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

Is Cohen's model of $\mathsf{ZF}+\neg \mathsf{AC}$ transitive?

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

Proof by induction leading to infinite sets

Published on
#logic #induction #foundations
82
Views

Can we extend proof by induction to a bijection (one-to-one correspondance)?

Published on
#proof-writing #induction #foundations

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.