The following pages link to Undecidable theories (Q2651342):
Displaying 50 items.
- Decidability and completeness for open formulas of membership theories (Q1903592) (← links)
- Tarski on logical consequences (Q1924334) (← links)
- Foundations of boundedly rational choice and satisficing decisions (Q1958424) (← links)
- On logics with two variables (Q1960419) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- The semantic view of theories and higher-order languages (Q2052159) (← links)
- Ontology, set theory, and the paraphrase challenge (Q2056213) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- On interpretability between some weak essentially undecidable theories (Q2106592) (← links)
- Effective inseparability and its applications (Q2117804) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- The interpretability and scalability of linguistic-rule-based systems for solving regression problems (Q2169222) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- A note on uniform density in weak arithmetical theories (Q2219096) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field (Q2359446) (← links)
- Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. (Q2377054) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- On von Neumann regular rings with an automorphism (Q2456173) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- On the concept of categoricity (Q2538118) (← links)
- Tree acceptors and some of their applications (Q2544414) (← links)
- Interpretierbarkeit in der Gruppentheorie (Q2545517) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Complexity in Young's lattice (Q2668002) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- (Q3265664) (← links)
- On Unions of Chains of Models (Q3274968) (← links)
- The Undecidability of Algebraic Rings and Fields (Q3281069) (← links)
- On the weak definability in set theory (Q3289000) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP (Q3386609) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- Some Universal Sets of Terms (Q3941407) (← links)
- Some diophantine forms of gödel's theorem (Q3956938) (← links)
- The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- (Q4606689) (← links)
