MATH
Login Or Sign up

List Question

15
124
Views

Study if the set of formulas $\Phi$ is satisfiable.

Published on
#logic #proof-verification #model-theory #predicate-logic #first-order-logic
852
Views

Eliminating any subset of quantifiers by Skolemization: no constants, please!

Published on
#logic #predicate-logic #first-order-logic #quantifiers
279
Views

Theories whose models of cardinality $\kappa$ are all elementary equivalent

Published on
#model-theory #first-order-logic
4.9k
Views

If P then Q; When P is False but we want to assume it is True

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

$(a_i)$ and $(b_i)$ having the same type in a structure $N$ is equivalent to $M,(a_i)\equiv M,(b_i)$?

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

How to find a Herbrand-Model to a given set

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

The Entscheidungsproblem and the notion of decidability in first order logic

Published on
#logic #computer-science #first-order-logic #computability #turing-machines
211
Views

transversal of set of sets statements equivalence proof

Published on
#elementary-set-theory #logic #proof-writing #first-order-logic
167
Views

Proving a predicate does not imply another predicate.

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic
312
Views

"Quantifying" over properties and "operations" in ZFC and transfinite recursion: clarifying confusion

Published on
#set-theory #first-order-logic #foundations #transfinite-recursion
335
Views

Is simplification from 'or' ($\lor$) valid?

Published on
#discrete-mathematics #logic #propositional-calculus #first-order-logic #formal-proofs
279
Views

Definition of the value of a function in Enderton's Elements of Set-Theory

Published on
#elementary-set-theory #first-order-logic
69
Views

Defining a substraction in the standart signature of arithmetic

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

How to Recover a Set from its Closure under Logical Consequence

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

Proof Using Compactness Theorem

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.