MATH
Login Or Sign up

List Question

15
47
Views

Why is acl not modular in this case?

Published on
#logic #model-theory
81
Views

Showing a structure is minimal

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

Derivation of back and forth method?

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

Theories with Skolem function

Published on
#logic #set-theory #model-theory #computability
192
Views

Robinson consistency theorem for $L_{\omega_1\omega}$-logic

Published on
#logic #model-theory
633
Views

Model Theory: Amalgamation Property and Joint Embedding

Published on
#logic #model-theory
39
Views

A question on terminology regarding axiomatizations

Published on
#model-theory
315
Views

Validity of a first order formula depends only on cardinality of domain?

Published on
#model-theory #first-order-logic
1.2k
Views

Applications of Model Theory and Algebra to Computer Science

Published on
#logic #commutative-algebra #computer-science #model-theory
105
Views

Ultrafilters and quantifier scope

Published on
#logic #model-theory
132
Views

Lowenheim Number of L(Q)

Published on
#logic #model-theory #higher-order-logic
594
Views

Dedekind completion of ordered fields

Published on
#logic #set-theory #model-theory #nonstandard-analysis
106
Views

Is there a countable model?

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

Connection between Boolean and Heyting algebras as models and as Lindenbaum-Tarski algebras

Published on
#logic #model-theory #lattice-orders #algebraic-logic
655
Views

What does Robinson's overspill lemma tell us?

Published on
#logic #model-theory #peano-axioms #nonstandard-models

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.