On axiomatizability within a system
From MaRDI portal
Publication:5822065
DOI10.2307/2266324zbMath0053.20101OpenAlexW2098563247MaRDI QIDQ5822065
No author found.
Publication date: 1953
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266324
Related Items
Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe, Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus, Multiple Conclusion Rules in Logics with the Disjunction Property, THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME, Vaught's Theorem on Axiomatizability by a Scheme, Program Size Complexity of Correction Grammars in the Ershov Hierarchy, Axiomatisation and decidability of multi-dimensional Duration Calculus, Ganzgeschlossene und prädikatengeschlossene Logiken I, Involutive symmetric Gödel spaces, their algebraic duals and logic, AN ESCAPE FROM VARDANYAN’S THEOREM, A simple example of blocking the Craig trick, On the possibility of inference to the best explanation, Decidability and the finite model property, Independent Recursive Axiomatizability in Arithmetic, Some Computational Constraints in Epistemic Logic, Computability and human symbolic output, Logics of intuitionistic Kripke-Platek set theory, Too naturalist and not naturalist enough: Reply to Horsten, Representability op recursively enumerable sets in formal theories, Carnap's Ramseyfications defended, 1 — Consistency and faithful interpretations, Problemi aperti sulle algebre diagonali, Consistency, models, and soundness, Über Theorien im erweiterten Sinne, Axiomatizing Belnap's conditional assertion, The Coherence of Theories—Dependencies and Weights, Some applications of Henkin quantifiers, Embedding and unsolvability theorems for modular lattices, Universal Horn axiom systems for lattices of submodules, Von Neumann, Gödel and Complexity Theory, Moral Epistemology: The Mathematics Analogy, Independent axiomatizability of sets of sentences, The road to two theorems of logic, Wissenschaftslogik: the role of logic in the philosophy of science, GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS, Pragmatics and intensional logic, Inductive systematization: Definition and a critical survey, Craig's theorem, Ramsey-sentences, and scientific instrumentalism, On the Representation of Lattices by Modules, Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.), \dots and away from a theory of explanation itself, Decidability by filtrations for graded normal logics. (Graded modalities. V), HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
