Skip to main content
MathOverflow

Return to Question

edited tags
Link
Joel David Hamkins
Joel David Hamkins
  • 236.4k
  • 44
  • 777
  • 1.4k
Replaced erroneous word "variables" with "parameters"
Source Link
Matt Brin
Matt Brin
  • 1.6k
  • 14
  • 14

Interpreting peano arithmetic without variablesparameters

I will accept an answer in the form of references to the literature about my question as well as any other information. I am quite ignorant of the area and that will be clear from my question.

I take it that interpreting a system (e.g., PA) in some structure without the use of variablesparameters is harder than doing the same with the use of variablesparameters. I would like to understand the difference of the consequences of the two tasks (interpreting with variablesparameters vs. interpreting without). What does it have to say about the structure in which the interpretation takes place?

Interpreting peano arithmetic without variables

I will accept an answer in the form of references to the literature about my question as well as any other information. I am quite ignorant of the area and that will be clear from my question.

I take it that interpreting a system (e.g., PA) in some structure without the use of variables is harder than doing the same with the use of variables. I would like to understand the difference of the consequences of the two tasks (interpreting with variables vs. interpreting without). What does it have to say about the structure in which the interpretation takes place?

Interpreting peano arithmetic without parameters

I will accept an answer in the form of references to the literature about my question as well as any other information. I am quite ignorant of the area and that will be clear from my question.

I take it that interpreting a system (e.g., PA) in some structure without the use of parameters is harder than doing the same with the use of parameters. I would like to understand the difference of the consequences of the two tasks (interpreting with parameters vs. interpreting without). What does it have to say about the structure in which the interpretation takes place?

Source Link
Matt Brin
Matt Brin
  • 1.6k
  • 14
  • 14

Interpreting peano arithmetic without variables

I will accept an answer in the form of references to the literature about my question as well as any other information. I am quite ignorant of the area and that will be clear from my question.

I take it that interpreting a system (e.g., PA) in some structure without the use of variables is harder than doing the same with the use of variables. I would like to understand the difference of the consequences of the two tasks (interpreting with variables vs. interpreting without). What does it have to say about the structure in which the interpretation takes place?