Pages that link to "Item:Q1217684"
From MaRDI portal
The following pages link to Elementary induction on abstract structures (Q1217684):
Displayed 50 items.
- Borel extractions of converging sequences in compact sets of Borel functions (Q2518765) (← links)
- Inductive definitions over finite structures (Q2639057) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set (Q2778662) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS (Q3086245) (← links)
- Conservative Extensions of Abstract Structures (Q3091469) (← links)
- Degree spectra of relations on computable structures in the presence of Δ<sub>2</sub><sup>0</sup>isomorphisms (Q3149990) (← links)
- On revision operators (Q3160562) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- About Truth and Types (Q3305551) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
- INEFFABILITY AND REVENGE (Q3389492) (← links)
- ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" (Q3502827) (← links)
- ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH (Q3580664) (← links)
- One Useful Logic That Defines Its Own Truth (Q3599112) (← links)
- Games for Truth (Q3655267) (← links)
- Recursion in a quantifier vs. elementary induction (Q3861374) (← links)
- Recursively Saturated Models of Set Theory (Q3902995) (← links)
- A Note On Analytic Sets (Q3912788) (← links)
- Beitrag zur algebraischen Rekursionstheorie (Q3919695) (← links)
- Extensions of countable infinitary logic which preserve most of its nice properties (Q3927221) (← links)
- The Theory of Countable Analytical Sets (Q4078033) (← links)
- On monotone vs. nonmonotone induction (Q4137152) (← links)
- Some model theory for monotone quantifiers (Q4141237) (← links)
- On the theory of Π₃¹ sets of reals (Q4165368) (← links)
- Ordinal spectra of first-order theories (Q4198742) (← links)
- Infinitary queries and their asymptotic probabilities. II. Properties definable in least fixed point logic (Q4288891) (← links)
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (Q4304798) (← links)
- Dimension Versus Number of Variables, and Connectivity, too (Q4323836) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- Computing on structures (Q4630296) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- The extent of definable scales (Q4748137) (← links)
- Intrinsically II Relations (Q4868245) (← links)
- THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS (Q4961868) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- (Q4993818) (← links)
- Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines (Q4995609) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- The Limits of Predicativity Revisited (Q5013901) (← links)
- SHORTENING CLOPEN GAMES (Q5021927) (← links)
- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering (Q5044764) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)