MATH
Login Or Sign up

List Question

15
360
Views

Is every complete consistent theory satisfiable in ZF?

Published on
#logic #set-theory #first-order-logic #axiom-of-choice
165
Views

Difficulty of the book Mathematical Logic by Mileti

Published on
#logic #first-order-logic #book-recommendation
100
Views

Meaning of "parameter" in Axiom schema of comprehension

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

Dual formula in first-order. A common syntactical proof?

Published on
#logic #solution-verification #first-order-logic
107
Views

Omitting Types Theorem for homogeneous model

Published on
#logic #first-order-logic #model-theory
32
Views

Traspositions' formula in $S_4$

Published on
#solution-verification #first-order-logic
124
Views

Theorems that won't be proved by a computer

Published on
#logic #computer-science #propositional-calculus #first-order-logic #philosophy
37
Views

inductive set question

Published on
#discrete-mathematics #first-order-logic
60
Views

First-Order Logic Proof

Published on
#solution-verification #first-order-logic
54
Views

Verify Proof in First Order Logic: $\forall x (fex=e \rightarrow x=e)$

Published on
#logic #solution-verification #first-order-logic
36
Views

How to read the statement "If for every subset B' of B, it holds that α ∈ Cn(B') iff β ∈ Cn(B'), then B - α = B - β"?

Published on
#discrete-mathematics #logic #first-order-logic
46
Views

Isomorphisms between ordered groups

Published on
#logic #first-order-logic
45
Views

Strategies for proving completeness for an extension of Intuitionistic Logic

Published on
#logic #first-order-logic #intuitionistic-logic
44
Views

Existence of some syntactic deduction

Published on
#logic #first-order-logic
20
Views

Satisfiability in greater languages

Published on
#logic #first-order-logic

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.