MATH
Login Or Sign up

List Question

15
74
Views

Are there first-order sentences that are preserved under binary products but not all products?

Published on
#logic #model-theory
159
Views

Ultrapower of algebraic closure of finite field

Published on
#commutative-algebra #field-theory #model-theory
148
Views

Does an infinite axiom system exist for a finitely axiomatizable theory in first order logic?

Published on
#logic #first-order-logic #predicate-logic #model-theory
52
Views

How to differentiate structures with the same operations but in a different order?

Published on
#model-theory
211
Views

What is the role of variable/term assignment functions in first order logic?

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

Some basic model theory questions about languages.

Published on
#model-theory
60
Views

Gurevich Classifiability Theorem

Published on
#logic #first-order-logic #model-theory #computational-complexity #decidability
184
Views

Exercise with Birkhoff's theorem in universal algebra

Published on
#abstract-algebra #logic #model-theory #universal-algebra
77
Views

Logic - define the empty set

Published on
#logic #solution-verification #first-order-logic #model-theory
56
Views

Transitivity of definable extensions of first-order languages

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

Application of Erdös-Rado to find extract indiscernible sequence.

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

Can additive inverse by itself define binary subtraction?

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

How could the Riemann Hypothesis be independent of ZFC?

Published on
#logic #solution-verification #model-theory
168
Views

How can I formally prove that undirected graphs cannot be axiomatised in First Order Logic with only unary predicates?

Published on
#logic #graph-theory #first-order-logic #model-theory
61
Views

Necessary and sufficient condition for a first-order property of binary relations to be preserved under domain enlargement.

Published on
#relations #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.