TL

1

Reputation

6 views

Unregistered User

Name	TL
Member for	6 months
Seen	Nov 21 at 11:15
Website
Location
Age

stats recent reputation favorites

1

Questions

0

votes

0

answers

34

views

Is the question whether a FO formula F has a model of size k (k is a finite number) decidable?

decidability

nov 19 at 11:29 TL 1

0

Answers

0

Votes

1

Tags

0

Badges