MATH
Login Or Sign up

List Question

15
268
Views

What is the definition of 'constructible group'?

Published on
#algebraic-geometry #logic #model-theory
80
Views

Translate into first order logic: "$a, b, c$ are the lengths of the sides of a triangle"

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

Existence of indiscernible set in model equivalent to another indiscernible set

Published on
#logic #model-theory
145
Views

A ring embeds in a field iff every finitely generated sub-ring does it

Published on
#abstract-algebra #model-theory
149
Views

Graph with a vertex of infinite degree elementary equiv. with a graph with vertices of arbitrarily large finite degree

Published on
#graph-theory #model-theory
113
Views

What would be the function to make a formula false?

Published on
#logic #examples-counterexamples #predicate-logic #first-order-logic #model-theory
77
Views

Sufficient condition for isomorphism of $L$-structures when $L$ is relational

Published on
#model-theory
532
Views

Show that PA can prove the pigeon-hole principle

Published on
#logic #first-order-logic #model-theory #peano-axioms
1.3k
Views

Decidability and "truth value"

Published on
#logic #first-order-logic #model-theory #philosophy #incompleteness
218
Views

Prove or disprove: $\exists x \forall y \,\,\varphi \models \forall y \exists x \,\ \varphi$

Published on
#discrete-mathematics #logic #first-order-logic #model-theory #quantifiers
366
Views

Definability in finite structure without automorphisms

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

Is the ring of sequences elementarily equivalent to the subring of convergent sequences?

Published on
#abstract-algebra #sequences-and-series #logic #ring-theory #model-theory
88
Views

Existence of a structure with the same properties as $\mathbb{N}$ and with an infinite element.

Published on
#logic #predicate-logic #first-order-logic #model-theory #nonstandard-models
533
Views

Theory with finite models only

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

Prove the undecidability of a formula

Published on
#logic #propositional-calculus #model-theory #natural-deduction #intuitionistic-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.