MATH
Login Or Sign up

List Question

15
138
Views

How can we write the sentence '$x$ is a set' in the language of set theory

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

Use quantifiers to express and then negate

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

Definition of arbitrarily large model in model theory

Published on
#logic #definition #first-order-logic
69
Views

Open subgroup of $\mathrm{Aut}(M) \subseteq M^M$ where $M$ is an $L$-structure for a first order language $L$ and $M$ has discrete topology

Published on
#general-topology #first-order-logic #model-theory #topological-groups
199
Views

Can a set of infinite groups be elementary class instead of elementary class in the wider sense?

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

Herbrand theorem works only with clauses

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

Clauses with costants and unification

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

Explanation of Skolem's Paradox in Enderton's book

Published on
#proof-explanation #first-order-logic #model-theory #paradoxes
566
Views

Two elementary equivalent $L$-structures of a first order language $L$ have the same cardinality if one of them is finite.

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

Completeness of Resolution Principles

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

How to Invalidate this first order logic statement formally ?

Published on
#first-order-logic
369
Views

Replacing set of tautologies with a single formula

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

Where i went wrong in this First Order Logic problem?

Published on
#first-order-logic
2.7k
Views

Do we have to prove how parentheses work in the Peano axioms?

Published on
#logic #definition #first-order-logic #axioms #peano-axioms
3k
Views

First Order Logic XOR

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.