Find a language L and a sentence $sigma$ such that $sigma$ has a model but does not have a finite model...
up vote
-3
down vote
favorite
1
I have no idea of how to even approach this question, let alone start it. Any help or explanations would be greatly appreciated.
logic first-order-logic model-theory
asked Nov 22 at 21:46
dbs5555
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
closed as off-topic by amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R Nov 23 at 2:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R
If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
up vote
-3
down vote
favorite
1
I have no idea of how to even approach this question, let alone start it. Any help or explanations would be greatly appreciated.
logic first-order-logic model-theory
asked Nov 22 at 21:46
dbs5555
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
closed as off-topic by amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R Nov 23 at 2:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R
If this question can be reworded to fit the rules in the help center, please edit the question.
1
Can you find a sentence which says that your model is an ordered set with no maximal element?
– bof
Nov 22 at 22:55
add a comment |
up vote
-3
down vote
favorite
1
up vote
-3
down vote
favorite
1
1
I have no idea of how to even approach this question, let alone start it. Any help or explanations would be greatly appreciated.
logic first-order-logic model-theory
asked Nov 22 at 21:46
dbs5555
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
I have no idea of how to even approach this question, let alone start it. Any help or explanations would be greatly appreciated.
logic first-order-logic model-theory
logic first-order-logic model-theory
asked Nov 22 at 21:46
dbs5555
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked Nov 22 at 21:46
dbs5555
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked Nov 22 at 21:46
dbs5555
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked Nov 22 at 21:46
dbs5555
11
asked Nov 22 at 21:46
dbs5555
11
11
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
dbs5555 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
closed as off-topic by amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R Nov 23 at 2:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R
If this question can be reworded to fit the rules in the help center, please edit the question.
closed as off-topic by amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R Nov 23 at 2:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – amWhy, Fabio Somenzi, Leucippus, Cesareo, Chinnapparaj R
If this question can be reworded to fit the rules in the help center, please edit the question.
1
Can you find a sentence which says that your model is an ordered set with no maximal element?
– bof
Nov 22 at 22:55
add a comment |
1
Can you find a sentence which says that your model is an ordered set with no maximal element?
– bof
Nov 22 at 22:55
1
1
Can you find a sentence which says that your model is an ordered set with no maximal element?
– bof
Nov 22 at 22:55
Can you find a sentence which says that your model is an ordered set with no maximal element?
– bof
Nov 22 at 22:55
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
1
Can you find a sentence which says that your model is an ordered set with no maximal element?
– bof
Nov 22 at 22:55