MATH
Login Or Sign up

List Question

15
192
Views

Show that $A,B$ definable $\implies A\cup B$ is definable

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

logical sentences and quantifiers

Published on
#predicate-logic #first-order-logic #quantifiers
3.1k
Views

First Order Logic Question - "All cats either love or hate dogs."

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

definable binary relations in $(\mathbb{R};<)$

Published on
#first-order-logic
394
Views

Is there a constructive approach as a replacement of Henkin's construction?

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

Prove tha validity of the formula

Published on
#first-order-logic
148
Views

Ordering on ultrapower of $\mathbb{Q} $

Published on
#order-theory #first-order-logic
129
Views

Derivation of ∀x (A(x) → B(x)) → (∀x A(x) → ∀x B(x)) in Hilbert style system

Published on
#logic #first-order-logic #formal-proofs
55
Views

Can a first order language describe every property of the structure of its interpretation?

Published on
#abstract-algebra #logic #first-order-logic
46
Views

Find a sentence without labeled asymptotic probability in the logic $L_{\omega_1\omega}^\omega$

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

Ultraproduct, axiomatizability,models,finite structures,language of one biary symbol

Published on
#model-theory #first-order-logic #axioms
74
Views

First order theories, interpretation, concrete example, proof

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

Different Quantifiers, same variable

Published on
#logic #first-order-logic #quantifiers
106
Views

Elimination of quantifiers in the strucure of polynomials and in the structure of exponentials

Published on
#ordinary-differential-equations #logic #first-order-logic #quantifiers #quantifier-elimination
536
Views

Quantifiers and If then statements

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.