We know that there is what we call mathematical induction. Does there exist a generalization for it to two variables and more?

More Tarek F. Ibrahim's questions See All

What is SCIE(SCIENCE CITATION INDEX EXPANDED) list?

What is the difference between SCIE list , SCI list ,and JCR list ? In other means , is the journal which do not included in SCIE has not an impact factor ?

31 December 2017 4,372 0 View

What is the subject which collect difference equations and algebra in one field ?

04 May 2016 7,027 2 View

Why did authors still concentrate on difference equations and differential equations instead of dynamic systems on time scales ?

Why did authors still concentrate on difference equations and differential equations instead of dynamic systems on time scales ( As a generalization of both of them) ?

11 December 2015 9,519 7 View

Which are good studies : studying the difference ( differential ) equation purely or deriving it from a phenomenon and then start the studies ?

which are good studies : studying the difference ( differential ) equation purely or deriving it from a phenomenon and then start the studies ?

11 December 2015 6,899 2 View

Is it useful to transform problems between difference equations and differential equations ?

11 December 2015 2,002 8 View

Why have mathematicians used differential equations to model nature more than difference equations ?

Why have mathematicians used differential equations to model nature more than difference equations?

11 December 2015 9,964 3 View

Does there exist methods to determine the natural phenomenon which corresponding to a difference ( differential ) equation ?

is there exist methods to determine the natural phenomenon which corresponding to a difference ( differential ) equation ?

11 December 2015 6,140 1 View

What are the standard references for closed form solutions of nonlinear partial difference equations?

11 December 2015 7,795 8 View

Does there exist books or papers concentrate on partial difference equations and their solutions?

08 September 2015 2,470 4 View

Could you recommend any books about Number Theory?

Beginner level books. High level books. Analytical Number Theory. Algebraic Number Theory. Combinatorical Number Theory. Books about partitions. Books about primes.

03 March 2021 7,174 5 View

Resistor definition in Piezoelectric bimorph with ANSYS workbench

Hello, good day! I am trying to simulate similar bimorph piezoelectric harvester with below commands. However, the output power doesn't change with resistor value. Please help to find the reason. ET,10,CIRCU94,0 !SET UP RESISTOR R,1,100000 !RESISTANCE VALUE TYPE,10 !SET ELEMENT TYPE E,1,2 !CREATE RESISTOR BETWEEN NODES 1 AND 2 Thanks in advance Regards,

02 March 2021 0 0 View

Arena simulation - how do i model the following model in ARENA (see description) (new to ARENA)?

Hello, I'm fairly new to ARENA and I have the following problem: I have two queues in which, in each queue, a different order type arrives (both having an arrival rate of exponential 10). Order...

02 March 2021 2,431 3 View

New Journal, "Integrative Psychological and Behavioral Science" -- do you not know, and have you not seen, this done before?

Question to you and THEM, the New Journal, "Integrative Psychological and Behavioral Science" -- do you not know, and have you not seen, this done before? There appears to be a core problem for...

02 March 2021 3,024 2 View

Does any one can help me choose a reasonable basis set for intermediate metal ions interactions with guanine (i.e Fe2+, Mn2+, Cu2+ and exc.)?

Hello every body Does any one has any idea to help me choose a reasonable basis set for intermediate metal ions (i.e Fe2+, Mn2+, Cu2+ and exc.) interactions with guanine or other DNA organic...

01 March 2021 6,187 2 View

What could be some reasons why unstimulated monocytes are getting activated?

Im doing PBMC isolation -> CD14+ enrichment using magnetic beads -> stimulation setup. My negative control is just cells in cRPMI but they seem to get activated over and over again.

28 February 2021 7,883 3 View

Why does intensity drops as concentration increases?

Is there any reason for decrease in fluorescence emission intensity of HSA,BSA when increase the concentration ?

28 February 2021 3,653 4 View

What is Flat Lens Antenna?

28 February 2021 5,433 3 View

POlymer+DMSO solution and moisture??

What could be the reason of moisture at the sides of Vial when I am preparing my polmyer+DMSO solution for membrane fabrication? What etiquettes I am possibly missing here?

28 February 2021 6,516 5 View

Can impedance of antenna be less than 50 ohms?

I am simulating helix antenna in hfss, right now, giving excitation with 50 ohms port. When I see the results of Z parameter (real). It shows lower than 50 ohms. Do not understand, if it can be...

27 February 2021 4,218 7 View

Costas Drossos

nduction can be characterized as a bottom-up method in defining some elements of a set. There is however an Top-down method, saying that the set is the smallest set

closed under the rules.

There monotone and non-monotone induction. So when we deal with more variables we should examine tow cases: monotone and non-monotone.

For more information about “inductive Definitions” see: P.Aczel, Inductive Definitions, Chapter 7, In J. Barwise handbook of Mathematical Logic

Tarek F. Ibrahim

Thank you prof Costas Drossos

Dear Prof Costas Drossos

I think that the following file is useful :

http://www.qc.edu.hk/math/Resource/AL/Different%20kinds%20of%20Mathematical%20Induction.pdf

Dear Prof. Ibrahim,

Yes, yhe suggested doc is related. However, does not discuss any generalization to abstract spaces!