MATH
Login Or Sign up

List Question

15
310
Views

Godel's completeness theorem and Consistency of ZFC

Published on
#logic #set-theory #first-order-logic
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
104
Views

What do Logicians mean by a set?

Published on
#logic #set-theory #first-order-logic #foundations
34
Views

Completeness for pure arithmetical sentences?

Published on
#first-order-logic #incompleteness
374
Views

Is the axiom of induction required for proving the first Gödel's incompleteness theorem?

Published on
#logic #first-order-logic #peano-axioms #incompleteness #second-order-logic
30
Views

I have some doubts with first order logic

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

How can I prove $\neg \exists x.\phi \vdash \forall x . \neg \phi$?

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

What is the definition of the Entscheidungsproblem (Decision Problem)?

Published on
#first-order-logic #formal-languages #decision-problems
30
Views

Unknown index in a model theoretic considerations

Published on
#elementary-set-theory #first-order-logic #model-theory #cardinals #index-notation
35
Views

$(\lambda,D)$-model homogenity

Published on
#elementary-set-theory #first-order-logic #model-theory #cardinals
65
Views

Difference between ⊨ and ⊢

Published on
#logic #propositional-calculus #first-order-logic #predicate-logic
55
Views

an acronym (NOTOP)

Published on
#terminology #first-order-logic #model-theory
390
Views

No existential elimination rule

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

What is the problem with this proof of the PMI?

Published on
#logic #induction #propositional-calculus #first-order-logic
113
Views

First-order logic equivalence proof

Published on
#first-order-logic #natural-deduction

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.