MATH
Login Or Sign up

List Question

15
92
Views

Prove: $\{∃xp(x), ∃xp(x) → \forall x∃y[p(x)→q(y)]\} ⊢ \forall xq(x) ∨ ∃xr(x)$

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

What's the limit to formation of ordinals using size-bounded good pairs?

Published on
#set-theory #first-order-logic #ordinals #large-cardinals
264
Views

How to translate English phrase "One can..." into FOL

Published on
#logic #first-order-logic #predicate-logic #quantifiers #logic-translation
126
Views

Provide a model for which the following is true $\forall x\forall y\forall z((S(x,y)\land S(y,z)) \implies S(x,z))$.

Published on
#logic #first-order-logic #predicate-logic
154
Views

Understanding non-standard arithmetic models.

Published on
#logic #first-order-logic #model-theory #nonstandard-models
79
Views

Does contraction of quantifiers require axiom of empty set?

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

A model for which the following is false, $\forall xR(x)\lor \forall xQ(x)$

Published on
#logic #first-order-logic #predicate-logic
705
Views

Represent the following sentences in first order logic.

Published on
#discrete-mathematics #logic #propositional-calculus #first-order-logic #predicate-logic
52
Views

Does ((L=NP) and (PH=PSPACE)) imply (FO=SO)? Is (L=/=NP) or (PH=/=PSPACE)?

Published on
#logic #first-order-logic #computational-complexity #second-order-logic #descriptive-complexity
481
Views

Is FOL equivalent to Turing Machines?

Published on
#first-order-logic #turing-machines
294
Views

Given FOL=Turing machines, why is SOL different than FOL?

Published on
#logic #computer-science #first-order-logic #turing-machines #second-order-logic
44
Views

Roots of a polynomial in an elementary subfield

Published on
#abstract-algebra #logic #ring-theory #first-order-logic #model-theory
83
Views

What's the order type of the least good pair with that additional qualification?

Published on
#set-theory #first-order-logic #ordinals #large-cardinals
204
Views

In no wff are the symbols $\neg$ and $)$ next to each other

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

Prove that if $\Gamma$ is inconsistent, then $\Gamma$ doesn’t have a model.

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

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.