- Definability of complex functions in o-minimal structures
2025/06/18 by Adele Padgett, Patrick Speissegger, Padgett, Adele +1 · 3 citations
Mathematics · Computer Science · #03C40 #03C64 #32B20 #32D15 #FOS: Mathematics #Logic (math.LO)
- Interpolation in Hájek's Basic Logic
2024/03/20 by Wesley Fussner, Simon Santschi, Fussner, Wesley +1 · 5 citations
Arts and Humanities · Medicine · #03B47 #03C40 #03G25 #06F05 #FOS: Mathematics #Logic (math.LO) #Medieval and Classical Philosophy #Rings and Algebras (math.RA) #Traditional Chinese Medicine Studies
- Interpolation and the Exchange Rule
2023/10/23 by WESLEY FUSSNER, Fussner, Wesley, GEORGE METCALFE +3 · 3 citations
#03B47 (Primary) #03C10 (Secondary) #03C40 #03G25 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA)
- Algorithm to find new identifiable reparametrizations of parametric rational ODE models
2023/10/04 by Nicolette Meshkat, Alexey Ovchinnikov, Meshkat, Nicolette +3 · 1 citation
Computer Science · Decision Sciences · Engineering · #03C40 #03C60 #12H05 #34A55 #92B05 #93B25 #93B30 #93C15 #Advanced Control Systems Optimization #Algebraic Geometry (math.AG) #Dynamical Systems (math.DS) #FOS: Biological sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Quantitative Methods (q-bio.QM) #Scientific Measurement and Uncertainty Evaluation #Systems and Control (eess.SY) #electronic engineering #information engineering
- Interpolation in Linear Logic and Related Systems
2023/05/08 by Fussner, Wesley, Santschi, Simon · 3 citations
#03B47 #03C05 #03C40 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
2022/08/20 by Fussner, Wesley, Galatos, Nick · 3 citations
#03B47 #03C40 #03G10 #06F05 #08A05 #18A20 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA)
- Definable Functions in Urysohn's Metric Space
2010/01/27 by Goldbring, Isaac · 1 citation
#03C40 #03C65 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
- The reducts of equality up to primitive positive interdefinability
2008/10/13 by Manuel Bodirsky, Hubie Chen, Bodirsky, Manuel +3 · 2 citations
Computer Science · Mathematics · #03C40 #03D15 #08A40 #08A70 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rings and Algebras (math.RA)