Consistency, models, and soundness (Q551223): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (4 intermediate revisions by 4 users not shown) | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03A05 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 01A60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03-03 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F30 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5923987 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
compactness theorem | |||
| Property / zbMATH Keywords: compactness theorem / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
completeness theorem | |||
| Property / zbMATH Keywords: completeness theorem / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
relative/direct/approximative consistency proof | |||
| Property / zbMATH Keywords: relative/direct/approximative consistency proof / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
consistency statement | |||
| Property / zbMATH Keywords: consistency statement / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
creation by definition | |||
| Property / zbMATH Keywords: creation by definition / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
finitist point of view | |||
| Property / zbMATH Keywords: finitist point of view / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
game formalism | |||
| Property / zbMATH Keywords: game formalism / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
metamathematics | |||
| Property / zbMATH Keywords: metamathematics / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
\(\Pi^0_1\)-sentence | |||
| Property / zbMATH Keywords: \(\Pi^0_1\)-sentence / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
soundness | |||
| Property / zbMATH Keywords: soundness / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
transfinite induction | |||
| Property / zbMATH Keywords: transfinite induction / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s10516-010-9110-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2100983392 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Frege's new science / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5826911 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Frege on Consistency and Conceptual Analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4523470 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4266051 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On a consistent subsystem of Frege's Grundgesetze / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On axiomatizability within a system / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4258431 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4893763 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4040321 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5577035 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4108283 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The consistency of arithmetics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i> / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4249001 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5762262 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5536199 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4001935 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4388951 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4227556 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the consistency of the first-order portion of Frege's logical system / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4227555 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the philosophical significance of consistency proofs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3966102 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4388798 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Extensions of the Finitist Point of View / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5488257 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Partial realizations of Hilbert's program / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3949029 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A note on the number of zeros of polynomials and exponential polynomials / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments? / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4367943 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5573940 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4023218 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Realism bei Frege. Reply to T. Burge: ''Frege on knowing the third realm'' / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 07:32, 4 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Consistency, models, and soundness |
scientific article |
Statements
Consistency, models, and soundness (English)
0 references
14 July 2011
0 references
compactness theorem
0 references
completeness theorem
0 references
relative/direct/approximative consistency proof
0 references
consistency statement
0 references
creation by definition
0 references
finitist point of view
0 references
game formalism
0 references
metamathematics
0 references
\(\Pi^0_1\)-sentence
0 references
soundness
0 references
transfinite induction
0 references
0 references
0 references
0 references
