MATH
Login Or Sign up

List Question

15
704
Views

Is this a characterization of well-orders?

Published on
#logic #model-theory #order-theory
1.5k
Views

Do isomorphic structures always satisfy the same second-order sentences?

Published on
#logic #model-theory #higher-order-logic
129
Views

Point evaluation of a linear functional on an Ultrapower

Published on
#functional-analysis #model-theory
127
Views

Every connected $\omega$-stable group has a zero element?

Published on
#model-theory
80
Views

Can I express (only) the syntactical formulation of a set theory within another.

Published on
#set-theory #model-theory #axioms #foundations
220
Views

What's the idea behind the proof of saturation of internal sets via ultrapower construction?

Published on
#model-theory #filters #nonstandard-analysis
1.1k
Views

A sentence that has infinite models, finite model, but no finite model above certain cardinality

Published on
#logic #model-theory
85
Views

Show $s(s(a))=s(b)$ implies $s(a)=b$

Published on
#model-theory #proof-theory #first-order-logic
462
Views

Is there any countable ordinal number which has a member undefinable?

Published on
#set-theory #model-theory #ordinals
170
Views

Signatures and L-Structures

Published on
#terminology #model-theory
170
Views

Question on the ultrapower construction of superstructure

Published on
#model-theory #nonstandard-analysis
1.5k
Views

Ehrenfeucht–Fraïssé game, how can I understand it?

Published on
#model-theory #game-theory #first-order-logic
200
Views

Do we assert the existence of set theory when reasoning about L-structures?

Published on
#logic #set-theory #model-theory #foundations
167
Views

Medium-strong (graph) homomorphisms

Published on
#graph-theory #model-theory #universal-algebra
242
Views

Theory vs. Deductive Theory

Published on
#logic #model-theory #computability

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.