The following pages link to (Q3148848):
Displayed 27 items.
- Nice embedding in classical logic (Q300555) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Plural quantifiers: a modal interpretation (Q484965) (← links)
- Curves in Gödel-space: towards a structuralist ontology of mathematical signs (Q603909) (← links)
- Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex (Q833026) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Yes fellows, most human reasoning is complex (Q1024143) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- On undecidability of concatenation theory for one-symbol languages (Q2207016) (← links)
- Prime simplicity (Q2268042) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. (Q2377054) (← links)
- Model approach to grammatical evolution: theory and case study (Q2403418) (← links)
- Levels of abstraction and the Turing test (Q3451542) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- CANTORIAN SET THEORY (Q4647016) (← links)
- Is Universal Computation a Myth? (Q4686642) (← links)
- The power of backtracking and the confinement of length (Q4907134) (← links)
- The Epistemology of Computer-Mediated Proofs (Q4972861) (← links)
- (Q5018970) (← links)
- COMPOSITIONALITY, COMPUTABILITY, AND COMPLEXITY (Q5024502) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Burgess’<i>PV</i>is Robinson’s<i>Q</i> (Q5294028) (← links)
- A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length (Q5859289) (← links)
- Reducible Theories and Amalgamations of Models (Q5875951) (← links)
- The Higman operations and embeddings of recursive groups (Q6082366) (← links)