MATH
Login Or Sign up

List Question

15
1.3k
Views

Decidability and "truth value"

Published on
#logic #first-order-logic #model-theory #philosophy #incompleteness
206
Views

Prove or disprove: $\exists x \forall y \,\,\varphi \models \forall y \exists x \,\ \varphi$

Published on
#discrete-mathematics #logic #first-order-logic #model-theory #quantifiers
217
Views

Deduce formula from set of formulas

Published on
#logic #first-order-logic #natural-deduction
1.9k
Views

Is First Order Logic Syntax Context Free?

Published on
#logic #first-order-logic #context-free-grammar #parsing
175
Views

Can first-order logic be recognized by a pushdown automaton?

Published on
#logic #first-order-logic #context-free-grammar #parsing
358
Views

Definability in finite structure without automorphisms

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

What is the difference between first order logic on a power set, and second order logic on the base set?

Published on
#elementary-set-theory #logic #first-order-logic #second-order-logic
454
Views

The converse of the axiom of extensionality

Published on
#set-theory #first-order-logic #substitution
327
Views

Express least and greatest fixed point using predicate and quantifiers

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic #quantifiers
164
Views

Tensor rank as a first order formula

Published on
#logic #first-order-logic #tensors #matrix-rank #tensor-rank
217
Views

Why is there a limitation on the existential introduction in sequent calculus?

Published on
#logic #predicate-logic #first-order-logic #sequent-calculus
81
Views

Existence of a structure with the same properties as $\mathbb{N}$ and with an infinite element.

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

validity reduction between FOL fragments

Published on
#logic #first-order-logic #satisfiability
526
Views

Theory with finite models only

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

First-Order Logic Converse True?

Published on
#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.