MATH
Login Or Sign up

List Question

15
135
Views

Unstable theories in which every formula is stably embedded

Published on
#logic #model-theory
48
Views

First-order analytic tableaux that find finite models whenever they exist

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

Bounded invariant equivalence relations in elementary submodels.

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

Question on maximum consistent theory

Published on
#model-theory #incompleteness
233
Views

Represent the definition of elementary substructure in FOL

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

Are Boolean orders axiomatizable?

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

What does model-theoretic proofs really prove?

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

If a set of satisfiable theories all have the same models, must their intersection also have the same models?

Published on
#model-theory
75
Views

EX. 7,1,4 in Tent and Ziegler

Published on
#model-theory
39
Views

Weakest theory such that adding a sentence gives another specified theory.

Published on
#model-theory
79
Views

Reference request: All types over $\mathbb{R}$ in $(\mathbb{R},+,·)$ are definable.

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

Completion of Peano arithmetic

Published on
#logic #model-theory #peano-axioms
63
Views

Dense and algebraically independent subset of $\mathbb{R}$ in $(\mathbb{R}, <, +, ·, 0, 1)$.

Published on
#real-numbers #model-theory
538
Views

Identifying the finite symmetric groups

Published on
#group-theory #logic #finite-groups #model-theory
250
Views

Formal or informal definability of the standard model of natural numbers

Published on
#soft-question #model-theory #philosophy #peano-axioms #second-order-logic

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.