MATH
Login Or Sign up

List Question

15
388
Views

Antecedent and subsequent of an implication logic

Published on
#discrete-mathematics #logic #first-order-logic #logic-translation
106
Views

expression that cannot be "written down" re: incompleteness, logic

Published on
#logic #first-order-logic #incompleteness #provability
80
Views

Reference request for a formalized and organized take on the foundations (logic and set theory)

Published on
#logic #set-theory #first-order-logic #foundations #proof-theory
130
Views

For an infinite group $G$, is the collection of all transitive $G$-sets first order elementary?

Published on
#group-theory #first-order-logic #model-theory #group-actions #infinite-groups
53
Views

If $M,N$ are structures of some first order language , $N$ is finite and $h: N \to M$ is an elementary embedding, then is $h$ an isomorphism?

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

A topology on the set of all complete theories of a first order language

Published on
#general-topology #first-order-logic #model-theory
120
Views

Predicate and propositional logic

Published on
#logic #first-order-logic #predicate-logic
631
Views

Using model theory to prove a Real Nullstellensatz?

Published on
#logic #commutative-algebra #field-theory #first-order-logic #model-theory
79
Views

Completeness and model completeness of the first order theory of faithful $G$-sets for a fixed infinite group $G$

Published on
#group-theory #logic #first-order-logic #model-theory #group-actions
60
Views

Completeness and model completeness of the first order theory of Valuation rings

Published on
#logic #commutative-algebra #first-order-logic #model-theory #valuation-theory
134
Views

Weird points about validity of argument

Published on
#logic #propositional-calculus #first-order-logic #formal-languages #paradoxes
196
Views

Are notations in ZF conservative?

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

Set of sentences in L with no non-logical symbols that are satisfiable iff L-structure is even

Published on
#logic #first-order-logic #predicate-logic
209
Views

Proving the impossibility of a proof

Published on
#first-order-logic #incompleteness #formal-proofs
66
Views

Why is this logical formula invalid for expressing the statement "anything bought it not human"?

Published on
#logic #first-order-logic #quantifiers #logic-translation

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.