MATH
Login Or Sign up

List Question

15
67
Views

Indiscernibles and colorations.

Published on
#logic #set-theory #model-theory
183
Views

show that a horn sentence is preserved under a direct product.

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

Relative Identity vs Set Theory

Published on
#model-theory #equivalence-relations
266
Views

Is every reduced $k$-algebra all of whose residue fields are $k$ finitely generated?

Published on
#abstract-algebra #algebraic-geometry #commutative-algebra #model-theory
563
Views

Complete extensions of a consistent theory

Published on
#logic #model-theory
39
Views

Reflexive reduct of preorder

Published on
#model-theory
535
Views

Ordered field of rationals axiomatizable

Published on
#model-theory #ordered-fields
191
Views

Saturated models and $\kappa=\kappa^{<\kappa}$

Published on
#set-theory #cardinals #model-theory
366
Views

Functions or relations stable under automorphism

Published on
#model-theory
275
Views

A singleton set $\{g\}$ can be regarded as a unary relation in $G$. Why?

Published on
#group-theory #finite-groups #model-theory
247
Views

Prove or disprove that for theory $T$, $T \vdash (\phi \rightarrow \psi) \iff T \cup \{\phi\} \vdash \psi$.

Published on
#logic #model-theory
79
Views

Vacuously true? Prove or disprove that for every theory $T$, if $T$ is not satisfiable then for every $\phi$, $T \vdash \phi$

Published on
#logic #model-theory
104
Views

Show that the set of all points $x \in \mathbb R$ where $f$ is differentiable is definable in $\mathcal M=(\mathbb R; +,-(), \cdot, \lt, 0,1,f)$

Published on
#calculus #logic #model-theory
133
Views

Generalizations of pregeometries

Published on
#reference-request #logic #model-theory
204
Views

Hanf Numbers and Decidability

Published on
#logic #set-theory #model-theory #computability

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.