MATH
Login Or Sign up

List Question

15
284
Views

Is the intersection of the class of EC_{\Delta} a subset of an EC class iff the union of the generating sets of the classes entail that EC class?

Published on
#logic #model-theory
107
Views

Characterizing the algebras on $\mathbb(Z)/2\mathbb(Z)$

Published on
#abstract-algebra #algebraic-geometry #model-theory #universal-algebra
85
Views

Why is interpretation of an existential formula defined this way in Model Theory?

Published on
#logic #model-theory
171
Views

Axiomatize purely transcendental field extension

Published on
#logic #field-theory #extension-field #model-theory
95
Views

is there a finite a finite subcollection $\mathcal K′$ of $\mathcal K $ such that $\mathcal \cap K′ ⊆ B $

Published on
#logic #model-theory
156
Views

Any non-standard halting oracles stronger than $\mathbb N$?

Published on
#model-theory #turing-machines #nonstandard-models #oracles
77
Views

Isomorphic Models via Ehrenfreucht-Fraisse games

Published on
#logic #model-theory
54
Views

Nonempty bounded definable sets in ultrapowers

Published on
#logic #model-theory
89
Views

Structure for a complete theory

Published on
#predicate-logic #model-theory
443
Views

Hilbert-Bernays theorem

Published on
#logic #reference-request #predicate-logic #first-order-logic #model-theory
139
Views

Model for a theory of commutative rings having quantifier elimination

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

A formula is satisfiable under $I \iff |I|=1$?

Published on
#logic #computer-science #first-order-logic #model-theory #satisfiability
95
Views

Equivalence of $I\Sigma_n$ and $I\Pi_n$

Published on
#logic #induction #first-order-logic #model-theory #peano-axioms
356
Views

Game semantics for first-order logic

Published on
#logic #predicate-logic #model-theory #game-theory
250
Views

Partially isomorphic but not isomorphic structures of the same cardinality

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

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.