MATH
Login Or Sign up

List Question

15
106
Views

Is there a symbol for "preserves"?

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

Proof of existence of Fraissé limit (Hodges)

Published on
#logic #proof-explanation #model-theory
145
Views

Name of topology analogous to Zariski topology for an arbitrary model of a first-order theory

Published on
#general-topology #model-theory #zariski-topology
242
Views

Axiomatizability of a relative complement

Published on
#logic #model-theory
100
Views

Nonhomogenous examples in Fraïssé limit

Published on
#logic #model-theory
283
Views

Original Fraïssé's paper and texts on Fraïssé theory

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

Question on a proof of Fraisse's theorem

Published on
#logic #model-theory
56
Views

Can anyone help me in explaining this first order model with the following condition

Published on
#first-order-logic #predicate-logic #model-theory
411
Views

Consider theory T = Th(M, ~, =). Show that T has quantifier elimination

Published on
#logic #first-order-logic #model-theory #quantifier-elimination
437
Views

Does ZF prove that the real number field is not interpretable in the complex number field?

Published on
#logic #model-theory #axiom-of-choice
122
Views

Hintikka formulas for infinitary logic?

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

If there is a sequence of structures which are in $K=\text{Mod}(\Phi),\Phi\subseteq FO(\tau)$ then $\mathfrak{B}\in \mathcal{K}$

Published on
#logic #solution-verification #first-order-logic #model-theory
191
Views

Question concerning Presburger arithmetic

Published on
#logic #first-order-logic #model-theory #presburger-arithmetic
71
Views

$A+A' \equiv B+B'$?

Published on
#logic #model-theory
212
Views

Are infinite subsets of the real field definable by a single formula?

Published on
#model-theory

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.