MATH
Login Or Sign up

List Question

15
30
Views

Quantifierfree formulae hold in submodels

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

What different possible predicates are there for Peano arithmetic?

Published on
#logic #first-order-logic #axioms #peano-axioms
456
Views

ω-categorical theory of an equivalence relation with two infinite equivalence classes

Published on
#logic #first-order-logic #equivalence-relations
328
Views

How do you construct first order logic?

Published on
#elementary-set-theory #first-order-logic
70
Views

Relation algebras and quantifier rank

Published on
#abstract-algebra #logic #reference-request #first-order-logic #algebraic-logic
34
Views

A question about functions in the first-order language

Published on
#first-order-logic
113
Views

Satisfiability of Divisible Group Axioms

Published on
#group-theory #logic #first-order-logic #model-theory
46
Views

Is my first order logic interpretation of "Some (but not all) people are Muggles" correct?

Published on
#first-order-logic
45
Views

Edge case analysis of "No one person is a ruler". In an empty universe is this statement True or False?

Published on
#first-order-logic
90
Views

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

Published on
#first-order-logic #model-theory #quantifier-elimination
85
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
80
Views

Different definition of consistency

Published on
#logic #first-order-logic
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
128
Views

Is there a first-order sentence that can distinguish cyclic and non-cyclic finite Abelian groups?

Published on
#abstract-algebra #group-theory #logic #first-order-logic #abelian-groups

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.