MATH
Login Or Sign up

List Question

15
379
Views

Questions regarding the proof of quantifier elimination of DLO

Published on
#logic #model-theory #quantifier-elimination
536
Views

Axiomatisable Groups

Published on
#group-theory #finite-groups #first-order-logic #model-theory
103
Views

David Marker Model Theory Cor 5.2.10

Published on
#logic #model-theory
125
Views

Mekler’s construction!

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

Adding a new unary function to Morse–Kelley set theory

Published on
#set-theory #model-theory
128
Views

Are the integers definable in $\mathbb{Z}_{(p)}$?

Published on
#logic #model-theory
79
Views

$\mathbb{Z}+\mathbb{Z}$ is a model of $Th(\mathbb{Z}, <, =)$

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

Finding a model for a set of axioms

Published on
#abstract-algebra #model-theory #axioms #computer-algebra-systems
96
Views

Arithmetic - linear order of $\mathbb{Z}$-copies

Published on
#logic #model-theory
144
Views

Need help verifying my proof that $(\mathbb{Z}, s)$ admits quantifier elimination

Published on
#proof-verification #model-theory
687
Views

What does generic mean?

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

Marker Model Theory Lemma 4.3.40: How does the implication follow?

Published on
#proof-explanation #model-theory
86
Views

Definable subsets of the order type $\mathbf\omega$, without use of paramaters.

Published on
#logic #order-theory #model-theory
123
Views

Describing type spaces

Published on
#model-theory #boolean-algebra
44
Views

Marker 4.5.34 - Identifying the typo(s) in this question

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.