MATH
Login Or Sign up

List Question

15
254
Views

What is the definition of 'constructible group'?

Published on
#algebraic-geometry #logic #model-theory
69
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
125
Views

Existence of indiscernible set in model equivalent to another indiscernible set

Published on
#logic #model-theory
137
Views

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

Published on
#abstract-algebra #model-theory
137
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
102
Views

What would be the function to make a formula false?

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

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

Published on
#model-theory
522
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
206
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
358
Views

Definability in finite structure without automorphisms

Published on
#logic #first-order-logic #model-theory
168
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
81
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
526
Views

Theory with finite models only

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

Prove the undecidability of a formula

Published on
#logic #propositional-calculus #model-theory #natural-deduction #intuitionistic-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.