Consistency, models, and soundness (Q551223): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10516-010-9110-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2100983392
@@ Property / OpenAlex ID: W2100983392 / rank @@
+Normal rank
@@ Property / cites work @@
+Frege's new science
@@ Property / cites work: Frege's new science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5826911
@@ Property / cites work: Q5826911 / rank @@
+Normal rank
@@ Property / cites work @@
+Frege on Consistency and Conceptual Analysis
@@ Property / cites work: Frege on Consistency and Conceptual Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523470
@@ Property / cites work: Q4523470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266051
@@ Property / cites work: Q4266051 / rank @@
+Normal rank
@@ Property / cites work @@
+On a consistent subsystem of Frege's Grundgesetze
@@ Property / cites work: On a consistent subsystem of Frege's Grundgesetze / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258431
@@ Property / cites work: Q4258431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893763
@@ Property / cites work: Q4893763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040321
@@ Property / cites work: Q4040321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5577035
@@ Property / cites work: Q5577035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108283
@@ Property / cites work: Q4108283 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i>
+Normal rank
@@ Property / cites work @@
+Q4249001
@@ Property / cites work: Q4249001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762262
@@ Property / cites work: Q5762262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536199
@@ Property / cites work: Q5536199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227556
@@ Property / cites work: Q4227556 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of the first-order portion of Frege's logical system
+Normal rank
@@ Property / cites work @@
+Q4227555
@@ Property / cites work: Q4227555 / rank @@
+Normal rank
@@ Property / cites work @@
+On the philosophical significance of consistency proofs
+Normal rank
@@ Property / cites work @@
+Q3966102
@@ Property / cites work: Q3966102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388798
@@ Property / cites work: Q4388798 / rank @@
+Normal rank
@@ Property / cites work @@
+Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
+Normal rank
@@ Property / cites work @@
+Extensions of the Finitist Point of View
@@ Property / cites work: Extensions of the Finitist Point of View / rank @@
+Normal rank
@@ Property / cites work @@
+Q5488257
@@ Property / cites work: Q5488257 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial realizations of Hilbert's program
@@ Property / cites work: Partial realizations of Hilbert's program / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949029
@@ Property / cites work: Q3949029 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the number of zeros of polynomials and exponential polynomials
+Normal rank
@@ Property / cites work @@
+Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
+Normal rank
@@ Property / cites work @@
+Q4367943
@@ Property / cites work: Q4367943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
+Normal rank
@@ Property / cites work @@
+Q4023218
@@ Property / cites work: Q4023218 / rank @@
+Normal rank
@@ Property / cites work @@
+Realism bei Frege. Reply to T. Burge: ''Frege on knowing the third realm''
+Normal rank