MATH
Login Or Sign up

List Question

15
48
Views

Can strict partial orders be axiomatized using just one elementary sentence?

Published on
#model-theory #order-theory
49
Views

How does a common application of the compactness theorem result in elementarily equivalent structures?

Published on
#logic #model-theory
165
Views

Is the cardinality of an ultrapower generally the same as that of the set of functions?

Published on
#reference-request #set-theory #model-theory #filters
90
Views

Why not add boolean constants to first order logic in model theory?

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

What are differences between first order structures and algebraic structures

Published on
#logic #model-theory
111
Views

Preservation theorems for alternating quantifiers.

Published on
#model-theory #quantifiers
86
Views

Transfinite Construction in Differential Fields proof

Published on
#abstract-algebra #logic #field-theory #model-theory #transfinite-induction
84
Views

Natural statements of high logical complexity in algebraic theories

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

A Computable Forcing Argument

Published on
#logic #first-order-logic #model-theory #computability #forcing
40
Views

How does the author extend a function from $M\to M$ to $M^n \to M^n$ in this context?

Published on
#model-theory
131
Views

If I use ZFC as a metatheory for FOL, doesn't it make it weaker?

Published on
#logic #set-theory #first-order-logic #model-theory #nonstandard-models
91
Views

What is an $E-$ invariant set in this context?

Published on
#definition #examples-counterexamples #model-theory
160
Views

How does independence play with LEM

Published on
#logic #set-theory #model-theory #incompleteness
261
Views

Filter/Ultrafilter Methods in Commutative Algebra/ ring theory

Published on
#ring-theory #commutative-algebra #model-theory #filters
71
Views

Generalizing Steinitz's theorem on ACFs

Published on
#logic #field-theory #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.