MATH
Login Or Sign up

List Question

15
441
Views

Can FOL include infinite disjunctions?

Published on
#logic #first-order-logic #self-learning #predicate-logic #model-theory
239
Views

Intuition behind Scott sentences

Published on
#logic #model-theory
262
Views

If $2^{\aleph_0}=\aleph_2$, what is known about $2^{\aleph_1}$?

Published on
#logic #set-theory #model-theory #cardinals
114
Views

In the foundations of NSA with ultrapowers, how much can the axiom of choice be weakened?

Published on
#model-theory #axiom-of-choice #foundations #nonstandard-analysis
137
Views

Interpreting monadic theory of reals in the monadic theory of linear order.

Published on
#real-numbers #order-theory #model-theory #second-order-logic
64
Views

Is the theory of directed graphs complete?

Published on
#logic #graph-theory #model-theory
74
Views

How high in the constructible hierarchy do you need to go to see Dedekind-incompleteness?

Published on
#real-analysis #logic #set-theory #real-numbers #model-theory
114
Views

If $M$ is a standard class model of ZFC isomorphic to $V$, then is $M = V$?

Published on
#set-theory #model-theory
2.1k
Views

What is the definition of a definition?

Published on
#logic #definition #computer-science #model-theory #formal-systems
105
Views

How is $\Phi$ used in the definition of a $S$-definition of $P$ in $\Phi$?

Published on
#logic #definition #computer-science #model-theory
52
Views

In the "$S \cup \{s\}$"-structure induced by expanding $S$, what is $s^A$?

Published on
#logic #computer-science #model-theory
458
Views

Axiomatic definition of groups

Published on
#group-theory #category-theory #model-theory #axioms #foundations
165
Views

Morley rank of group

Published on
#group-theory #logic #model-theory
405
Views

Complete first order theories

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

Can all $\mathsf{Q}$-provably recursive functions be "frequently termlike"?

Published on
#logic #model-theory #computability #proof-theory #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.