MATH
Login Or Sign up

List Question

15
67
Views

Show that $T$ is inconsistent

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

Show that $(0,1)$ is a substructure of $(0,1]$ in the language $L=\{<\}$ but is not an elementary substructure of it in the same language

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

Why is it that the complete L-theories containing $\Sigma$ are exactly those of models of $\Sigma$?

Published on
#logic #first-order-logic #predicate-logic #model-theory
767
Views

How to prove negations of quantifiers?

Published on
#logic #proof-explanation #definition #first-order-logic
952
Views

Why do we even need first order logic?

Published on
#logic #definition #propositional-calculus #first-order-logic
537
Views

How to give formal proof in logic?

Published on
#proof-verification #logic #proof-writing #first-order-logic #model-theory
617
Views

Reduct of a first-order structure

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

Predicate Logic Natural Deduction: $∃x P(x) ⊢P(x)$

Published on
#logic #first-order-logic #predicate-logic #natural-deduction #formal-proofs
120
Views

If $\Sigma \vdash \varphi$ then $\Sigma \vdash \forall x \varphi$. Why when $(\varphi \implies \forall x \varphi)$ is not true?

Published on
#first-order-logic
240
Views

Proof that specific function is primitive recursive

Published on
#logic #first-order-logic #predicate-logic #recursion #computability
78
Views

Can we have models that do not satisfy unproved existential sentences in the theories they model?

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

Strong induction and vacuous truth

Published on
#proof-writing #induction #first-order-logic
96
Views

A property of representable functions?

Published on
#first-order-logic #peano-axioms
57
Views

Interpretation of knowledge in first order logic

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

What does this set-theoretic notation mean in the proof of this theorem?

Published on
#logic #notation #proof-explanation #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.